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

Source

val solvers : 
  (string * (module Goblint_constraint.SolverTypes.DemandEqIncrSolver)) list
    ref

Source

val add_solver : 
  (string * (module Goblint_constraint.SolverTypes.DemandEqIncrSolver)) ->
  unit

Source

val choose_solver : 
  string ->
  (module Goblint_constraint.SolverTypes.DemandEqIncrSolver)

Dynamically choose the solver.

Source

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".