Module SMTLIBSolver
An interface to any SMT solver that accepts the SMTLIB2 command language
- author
- Alain Mebsout, Christoph Sticksel
module type SMTLIBSolverDriver = sig ... endmodule Make : functor (D : SMTLIBSolverDriver) -> SolverSig.S