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