liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

https://github.com/ucsd-progsys/liquid-fixpoint

Version on this page:0.8.10.2
LTS Haskell 18.28:0.8.10.2
Stackage Nightly 2021-06-14:0.8.10.2
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-0.8.10.2@sha256:1646c4cc5f81349356a0d37bd3c8f4db74ced9e1707a2e19915c8d2fa6ae9e43,7306

Module documentation for 0.8.10.2

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

Requirements

In addition to the .cabal dependencies you require