Package | Description |
---|---|
org.sat4j.maxsat.reader |
Some utility classes to read problems from plain text files.
|
org.sat4j.pb.reader |
Readers for opb instances.
|
Class and Description |
---|
PBInstanceReader
An reader having the responsibility to choose the right reader according to
the input.
|
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 |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.