Goblint_solver.TopDown
Warrowing top-down solver (topdown
). Simpler version of Td3
without terminating, space-efficiency and incremental.
module WP
(S : Goblint_constraint.ConstrSys.EqConstrSys)
(HM : Batteries.Hashtbl.S with type key = S.v) :
sig ... end