@hackage / liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver