Solvers and Tools for the CP Solver Competitions
2009
-
convert.pl (convert XCSP into CLP(FD))
-
- How to use it
- convert(File): Convert an instance in "File.xml" into "File.pl".
- solve(File): Solve an instance in "File.pl".
2006
- Source: pl2xcsp.pl
- Binary: pl2xcsp.out (for B-Prolog version 7.0)
- How to use it
- pl2xcsp(InFile,OutFile,Goal): Convert a CLP(FD) program with the top goal Goal in a file named InFile.pl into an XML document to be saved in a file named OutFile.xml. Example: pl2xcsp(color,color1,q1).
- pl2xcsp(File,Goal): Same as pl2xcsp(File,File,Goal).
- pl2xcsp(File): Same as pl2xcsp(File,File,top).
- Example instances (clpfd_benchmarks.zip)
- Source: xcsp2pl.pl
- Binary: xcsp2pl.out (for B-Prolog version 7.0)
- How to use it
- xcsp2pl(File): Convert a CSP problem in XCSP format in File.xml into a CLP(FD) program stored in a file named File.pl
A CLP(FD)-to-XCSP converter in B-Prolog