ucsd-progsys/liquid-fixpoint

This is stars and forks stats for /ucsd-progsys/liquid-fixpoint repository. As of 19 Apr, 2024 this repository has 116 stars and 54 forks.

Liquid Fixpoint This package implements a Horn-Clause/Logical Implication constraint solver used for various Liquid Types. The solver uses SMTLIB2 to implement an algorithm similar to: Houdini Cartesian predicate abstraction Requirements In addition to the .cabal dependencies you require an SMTLIB2 compatible solver binary: Z3 CVC4 MathSat If on Windows, please make sure to place the binary and any associated DLLs somewhere in your path. How To Build and Install $ git clone https://github.com/ucsd-progsys/liquid-fixpoint.git $...