Uses of Package
org.sat4j

Packages that use org.sat4j

org.sat4j	Contains a command line launcher for the SAT solvers.
org.sat4j.csp	Classes needed for CSP to SAT translation.
org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.pb
org.sat4j.sat

Classes in org.sat4j used by org.sat4j

AbstractLauncher
That class is used by launchers used to solve decision problems, i.e.

ExitCode
Enumeration allowing to manage easily exit code for the SAT and PB Competitions.

LightFactory
That class is the entry point to the default, best performing configuration of SAT4J.

Classes in org.sat4j used by org.sat4j.csp

AbstractLauncher
That class is used by launchers used to solve decision problems, i.e.

Classes in org.sat4j used by org.sat4j.maxsat

AbstractLauncher
That class is used by launchers used to solve decision problems, i.e.

AbstractOptimizationLauncher
This class is intended to be used by launchers to solve optimization problems, i.e. problems for which a loop is needed to find the optimal solution.

Classes in org.sat4j used by org.sat4j.pb

AbstractLauncher
That class is used by launchers used to solve decision problems, i.e.

AbstractOptimizationLauncher
This class is intended to be used by launchers to solve optimization problems, i.e. problems for which a loop is needed to find the optimal solution.

Classes in org.sat4j used by org.sat4j.sat

AbstractLauncher
That class is used by launchers used to solve decision problems, i.e.