SMS dit: Automated Reasoning