Uses of Class
org.sat4j.tools.DimacsStringSolver

Packages that use DimacsStringSolver

org.sat4j.pb

Implementations of pseudo boolean solvers

Uses of DimacsStringSolver in org.sat4j.pb

Subclasses of DimacsStringSolver in org.sat4j.pb

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.