Package org.sat4j.reader

Some utility classes to read problems from plain text files.

See: Description

Class Summary

Class	Description
AAGReader	Reader for the ASCII And Inverter Graph format defined by Armin Biere.
AIGReader	Reader for the Binary And Inverter Graph format defined by Armin Biere.
CSPExtSupportReader
CSPInstanceReader	An reader having the responsability to choose the right reader according to the input.
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.
CSPSupportReader
DimacsReader	Very simple Dimacs file parser.
EfficientScanner	Efficient scanner based on the LecteurDimacs class written by Frederic Laihem.
GroupedCNFReader
InstanceReader	An reader having the responsability to choose the right reader according to the input.
JSONReader<S extends ISolver>	Simple JSON reader for clauses and cardinality constraints.
LecteurDimacs	Dimacs Reader written by Frederic Laihem.
Reader	A reader is responsible to feed an ISolver from a text file and to convert the model found by the solver to a textual representation.
XMLCSPReader

Exception Summary

Exception	Description
ParseFormatException	Exception launched when there is a problem during parsing.

Package org.sat4j.reader Description

Some utility classes to read problems from plain text files.