Uses of Class
org.sat4j.reader.Reader

Packages that use Reader

org.sat4j	Contain a command line launcher for the SAT solvers.
org.sat4j.reader	Some utility classes to read problems from plain text files.

Uses of Reader in org.sat4j

Methods in org.sat4j that return Reader

Reader

AbstractLauncher.getReader()

Uses of Reader in org.sat4j.reader

Subclasses of Reader in org.sat4j.reader

class	AAGReader
class	AIGReader
class	CardDimacsReader Deprecated.
class	CSPExtSupportReader
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	CSPSupportReader
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.
class	OPBReader2006 Reader complying to the PB06 input format.
class	OPBReader2007
class	XMLCSPReader