Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Version on this page:
LTS Haskell 18.28:
Stackage Nightly 2021-06-14:
Latest on Hackage:8.10.7@rev:1

See all snapshots liquid-fixpoint appears in

BSD-3-Clause licensed by Ranjit Jhala, Niki Vazou, Eric Seidel
Maintained by [email protected]
This version can be pinned in stack with:liquid-fixpoint-,7306

Module documentation for

This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used for Liquid Types.

The package includes:

  1. Types for Expressions, Predicates, Constraints, Solutions

  2. Code for solving constraints


In addition to the .cabal dependencies you require