Goblint_solver.GenericSourceVarious simple/old solvers and solver utilities.
module SolverStats
(S : Goblint_constraint.ConstrSys.EqConstrSys)
(HM : Batteries.Hashtbl.S with type key = S.v) :
sig ... enduse 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