Contains strategies for minimizing unsatisfiable cores generated by SAT provers.

Package Specification

Contains implementations of various {@linkplain kodkod.engine.satlab.ReductionStrategy strategies} for minimizing unsatisfiable cores generated by {@linkplain kodkod.engine.satlab.SATProver SAT provers}.

Related Documentation

@see kodkod.engine.satlab.ReductionStrategy @see kodkod.engine.satlab.SATProver