redsam

We have hosted the application redsam in order to run this application in our online workstations with Wine or directly.

Quick description 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.

Audience: Other Audience.
User interface: Command-line.
Programming Language: C++.
Categories: