| Package | Description |
|---|---|
| org.sat4j | |
| org.sat4j.pb | |
| org.sat4j.pb.reader | |
| org.sat4j.reader |
| Class and Description |
|---|
| ParseFormatException
Exception launched when there is a problem during parsing.
|
| 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.
|
| Class and Description |
|---|
| ParseFormatException
Exception launched when there is a problem during parsing.
|
| 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.
|
| Class and Description |
|---|
| InstanceReader
An reader having the responsability to choose the right reader according to
the input.
|
| JSONReader
Simple JSON reader for clauses and cardinality constraints.
|
| ParseFormatException
Exception launched when there is a problem during parsing.
|
| 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.
|
| Class and Description |
|---|
| DimacsReader
Very simple Dimacs file parser.
|
| EfficientScanner
Efficient scanner based on the LecteurDimacs class written by Frederic
Laihem.
|
| ParseFormatException
Exception launched when there is a problem during parsing.
|
| 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.
|