RedSam

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa RedSam

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 libreria boost