Module type SolverSig.S

module type S = sig .. end


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.