Selector (p.goblint.2.4.0.doc.goblint.solver.Goblint

Sourceval solvers : (string * (module ConstrSys.GenericEqIncrSolver)) list ref

Sourceval add_solver : (string * (module ConstrSys.GenericEqIncrSolver)) -> unit

Sourceval choose_solver : string -> (module ConstrSys.GenericEqIncrSolver)

Dynamically choose the solver.

module Make
  (Arg : ConstrSys.IncrSolverArg)
  (S : ConstrSys.EqConstrSys)
  (VH : Batteries.Hashtbl.S with type key = S.v) : 
  sig ... end

The solver that actually uses the implementation based of GobConfig.get_string "solver".