Uses of Class
org.sat4j.tools.DimacsStringSolver

Packages that use DimacsStringSolver

Package	Description
org.sat4j.pb	Implementations of pseudo boolean solvers

Uses of DimacsStringSolver in org.sat4j.pb

Subclasses of DimacsStringSolver in org.sat4j.pb

Modifier and Type	Class and Description
class	LPStringSolver Solver used to display in a string the pb-instance in OPB format.
class	OPBStringSolver Solver used to display in a string the pb-instance in OPB format.
class	UserFriendlyPBStringSolver<T> Solver to display SAT instances using domain objects names instead of Dimacs numbers.