SMTLIBSolver
An interface to any SMT solver that accepts the SMTLIB2 command language
val trace_suffix : string Stdlib.ref Stdlib.Domain.DLS.key
module type SMTLIBSolverDriver = sig ... end
module Make (D : SMTLIBSolverDriver) : SolverSig.S