Goblint_solver.SLRterm
Terminating SLR3 solver (slr3t
). Simpler version of SLRphased
without phases.
module SLR3term
(S : Goblint_constraint.ConstrSys.EqConstrSys)
(HM : Batteries.Hashtbl.S with type key = S.v) :
sig ... end
the terminating SLR3 box solver