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