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