Uses of Class
org.sat4j.tools.DimacsStringSolver

Packages that use DimacsStringSolver

org.sat4j.pb

Uses of DimacsStringSolver in org.sat4j.pb

Subclasses of DimacsStringSolver in org.sat4j.pb

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.