Goblint_solver.LocalFixpoint
Fixpoint iteration solvers local to a single transfer function (don't use a constraint system).
module Make (D : Lattice.S) : sig ... end