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.
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.

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.