Module Prover.SMT (.ml)

module SMT: Smt.Solver 

Instance of the SMT solver