Module SMTLIBSolver

module SMTLIBSolver: sig .. end
An interface to any SMT solver that accepts the SMTLIB2 command language
Author(s): Alain Mebsout, Christoph Sticksel

module type SMTLIBSolverDriver = sig .. end
module Make: 
functor (D : SMTLIBSolverDriver-> SolverSig.S