Automatic theorem prover for SMT (Satisfiability Modulo Theories)
