jp.ac.kobe_u.cs.sugar
Class XML2CSP
java.lang.Object
jp.ac.kobe_u.cs.sugar.XML2CSP
public class XML2CSP
- extends Object
XML2CSP converts files in XCSP 2 format into CSP format.
Constructor Summary |
XML2CSP(String xmlFileName,
String cspFileName)
Constructs a XCSP to CSP converter. |
Method Summary |
static void |
main(String[] args)
Main program of XML2CSP. |
XML2CSP
public XML2CSP(String xmlFileName,
String cspFileName)
- Constructs a XCSP to CSP converter.
- Parameters:
xmlFileName
- cspFileName
-
main
public static void main(String[] args)
- Main program of XML2CSP.
- Parameters:
args
-
Sugar: A SAT-based Constraint Solver