Language.Fixpoint.Minimize

This module implements a "delta-debugging" based query minimizer that attempts to shrink UNSAT queries down to a minimal subset of constraints.

Documentation

minQuery :: (NFData a, Fixpoint a) => Config -> Solver a -> FInfo a -> IO (Result (Integer, a))