liquid-fixpoint-0.5.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Language.Fixpoint.Minimize
Description
This module implements a "delta-debugging" based query minimizer that attempts to shrink UNSAT queries down to a minimal subset of constraints.
minQuery :: (NFData a, Fixpoint a) => Config -> Solver a -> FInfo a -> IO (Result (Integer, a)) Source