Solvers and Tools for the CP Solver Competitions

2009


2006



A CLP(FD)-to-XCSP converter in B-Prolog

A XCSP-to-CLP(FD) converter in B-Prolog

More are comming...

2005