Predicate Abstraction-based Horn-Clause/Implication Constraint Solver https://github.com/ucsd-progsys/liquid-fixpoint
|Latest on Hackage:||0.7.0.2|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This package is a Haskell wrapper to the SMTLIB-based Horn-Clause/Logical Implication constraint solver used for Liquid Types.
The package includes:
Types for Expressions, Predicates, Constraints, Solutions
Code for solving constraints
In addition to the .cabal dependencies you require