|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.sat4j.reader | |
---|---|
org.sat4j.reader | Some utility classes to read problems from plain text files. |
Classes in org.sat4j.reader used by org.sat4j.reader | |
---|---|
DimacsReader
Very simple Dimacs file parser. |
|
ObjectiveFunction
Abstraction for an Objective Function for Pseudo Boolean Optimization. |
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |