Goblint_solver.Selector
Solver, which delegates at runtime to the configured solver.
val solvers :
(string * (module Goblint_constraint.SolverTypes.DemandEqIncrSolver)) list
Batteries.ref
val add_solver :
(string * (module Goblint_constraint.SolverTypes.DemandEqIncrSolver)) ->
unit
Register your solvers here!!!
val choose_solver :
string ->
(module Goblint_constraint.SolverTypes.DemandEqIncrSolver)
Dynamically choose the solver.
module Make
(Arg : Goblint_constraint.SolverTypes.IncrSolverArg)
(S : Goblint_constraint.ConstrSys.DemandEqConstrSys)
(VH : Batteries.Hashtbl.S with type key = S.v) :
sig ... end
The solver that actually uses the implementation based of GobConfig.get_string "solver"
.