Uses of Package
org.sat4j.tools.xplain

Packages that use org.sat4j.tools.xplain

Package	Description
org.sat4j.tools.xplain	Implementation of an explanation engine in case of unsatisfiability.

Classes in org.sat4j.tools.xplain used by org.sat4j.tools.xplain

Class and Description
Explainer
MinimizationStrategy Minimization technique used to reduce an unsatisfiable set of constraints into a minimally unsatisfiable subformula (MUS).