Goblint_solver.Td_simplified
Top-down solver with side effects. Simplified version of the td3 solver (td_simplified).
td_simplified
Top down solver that uses the box-operator for widening/narrowing at widening points.
module M = Messages
module Base : Goblint_constraint.SolverTypes.GenericEqSolver