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