liquid-fixpoint-0.1.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

liquid-fixpoint-0.1.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Modules

Language
- Fixpoint