liquid-fixpoint-0.9.2.5: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Fixpoint.Horn.Solve

Description

This module defines a function to solve NNF constraints, by reducing them to the standard FInfo.

Documentation

solve :: (PPrint a, NFData a, Loc a, Show a, Fixpoint a) => Config -> Query a -> IO (Result (Integer, a)) Source #