liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

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

Depends on 28 packages(full list with versions):

Used by 1 package in lts-18.17(full list with versions):

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

The package includes:

Requirements

In addition to the .cabal dependencies you require