RedSam

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

ABOUT RedSam

Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library