Functor SMTLIBSolver.Make

module Make: 
functor (D : SMTLIBSolverDriver-> SolverSig.S
Parameters:
D : SMTLIBSolverDriver


Managing solver instances


module Create: 
functor (P : SolverSig.Params-> SolverSig.Inst
The functor Create creates a new instance of the SMT solver with paramters passed as its arguments.