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