public class CSP2XML extends Object
CSP2XML(String cspFileName, String xmlFileName, boolean prolog)
static void
main(String[] args)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public CSP2XML(String cspFileName, String xmlFileName, boolean prolog)
cspFileName
xmlFileName
public static void main(String[] args)
args
Sugar: A SAT-based Constraint Solver