Uses of Interface
org.sat4j.reader.Reader

Packages that use Reader

org.sat4j.reader

Some utility classes to read problems from plain text files.

Uses of Reader in org.sat4j.reader

Classes in org.sat4j.reader that implement Reader

class	CardDimacsReader Deprecated.
class	CSPReader This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints.
class	DimacsReader Very simple Dimacs file parser.
class	ExtendedDimacsReader Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh.
class	GoodOPBReader This class is a quick hack to read opb formatted files.
class	InstanceReader An reader having the responsability to choose the right reader according to the input.
class	LecteurDimacs Dimacs Reader written by Frederic Laihem.
class	OPBReader2005 "Official" reader for the Pseudo Boolean evaluation 2005.