| Package | Description |
|---|---|
| org.sat4j.pb.reader |
| Class and Description |
|---|
| OPBReader2005
Based on the "Official" reader for the Pseudo Boolean evaluation 2005.
|
| OPBReader2006
Reader complying to the PB06 input format.
|
| OPBReader2007
Reader complying with the PB07 input format.
|
| OPBReader2010 |