|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ICSPCallback | |
---|---|
org.sat4j.csp.main | |
org.sat4j.csp.xml | |
org.sat4j.reader | Some utility classes to read problems from plain text files. |
Uses of ICSPCallback in org.sat4j.csp.main |
---|
Classes in org.sat4j.csp.main that implement ICSPCallback | |
---|---|
class |
SimpleCallback
|
Uses of ICSPCallback in org.sat4j.csp.xml |
---|
Methods in org.sat4j.csp.xml with parameters of type ICSPCallback | |
---|---|
static void |
CspXmlParser.parse(ICSPCallback callback,
String filename)
|
Uses of ICSPCallback in org.sat4j.reader |
---|
Classes in org.sat4j.reader that implement ICSPCallback | |
---|---|
class |
CSPExtSupportReader
|
class |
CSPReader
This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints. |
class |
CSPSupportReader
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |