Selector (p.goblint.2.0.0.doc.goblint.lib.Goblint

val solvers : 
  (string * (module Analyses.GenericEqBoxIncrSolver)) list Prelude.ref

val add_solver : (string * (module Analyses.GenericEqBoxIncrSolver)) -> unit

val choose_solver : string -> (module Analyses.GenericEqBoxIncrSolver)

Dynamically choose the solver.

module Make
  (Arg : Analyses.IncrSolverArg)
  (S : Analyses.EqConstrSys)
  (VH : Goblint_lib.Prelude.Hashtbl.S with type key = S.v) : 
  sig ... end

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