Uses of Package
org.sat4j.maxsat

Packages that use org.sat4j.maxsat

Package	Description
org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.maxsat.reader	Some utility classes to read problems from plain text files.

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

Class and Description
SolverFactory
UnitWeightedClause

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

Class and Description
WeightedMaxSatDecorator A decorator for solving weighted MAX SAT problems.