Package | Description |
---|---|
org.sat4j.csp.main | |
org.sat4j.csp.xml | |
org.sat4j.reader |
Some utility classes to read problems from plain text files.
|
Modifier and Type | Class and Description |
---|---|
class |
SimpleCallback |
Modifier and Type | Method and Description |
---|---|
static void |
CspXmlParser.parse(ICSPCallback callback,
String filename) |
Modifier and Type | Class and Description |
---|---|
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 |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.