Package org.sat4j.reader

Some utility classes to read problems from plain text files.

See:
          Description

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



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.