Programmi di redsam.sf.net

Constraint Satisfaction Problems Solver for Binary constraints, file di input in XML con il formato corrente XCSP 2.1, adottato per la competizione risolutore CSP/MaxCSP/WCSP del 2008. Il risolutore è in C++ e utilizza la lib