| Predicate Abstraction-based Horn-Clause/Implication Constraint Solver | |
| https://github.com/ucsd-progsys/liquid-fixpoint#readme | |
| liquid-fixpoint-9999 | BSD |
| download | haskell |
| liquid-fixpoint-8.10.7 | BSD |
| download~amd64 | haskell |
| liquid-fixpoint-0.8.10.7.1_pre20220624 | BSD |
| download~amd64 | haskell |