liquid-fixpoint-0.9.2.5: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell98
Language.Fixpoint.Conditional.Z3
Documentation
makeZ3
::
IO
a
Source
#
builtWithZ3AsALibrary
::
Bool
Source
#