Apocrypha

liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

homepage ↗ hackage: liquid-fixpoint github: ucsd-progsys/liquid-fixpoint

Available in

OverlayNewestEbuildsLast activity
haskell GitHub ↗ 0.9.6.3.1 2 2 d details ›

Versions & arches

VersionOverlay amd64 Committed
9999 LIVE ≈ haskell follows upstream — no keywords 6 mo view · download · history ↗
0.9.6.3.1 ≈ haskell amd64 testing 6 mo view · download · history ↗

Use flags of 0.9.6.3.1

  • executable Build the fixpoint executable
  • link-z3-as-a-library link z3 as a library for faster interactions with the SMT solver