Goblint_solver.Generic
Various simple/old solvers and solver utilities.
module SolverStats
(S : Goblint_constraint.ConstrSys.EqConstrSys)
(HM : Batteries.Hashtbl.S with type key = S.v) :
sig ... end
use this if your box
is join
--- the simple solver
module SoundBoxSolverImpl
(S : Goblint_constraint.ConstrSys.EqConstrSys)
(H : Batteries.Hashtbl.S with type key = S.v) :
sig ... end