Module type SolverSig.Params
Solver paramters
val timeout : int
val produce_assignments : bool
val produce_cores : bool
val minimize_cores : bool
val produce_proofs : bool
val logic : TermLib.logic
val id : int
SolverSig.Params
Solver paramters
val timeout : int
val produce_assignments : bool
val produce_cores : bool
val minimize_cores : bool
val produce_proofs : bool
val logic : TermLib.logic
val id : int