![](/statics/img/blank.png)
RedSam
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 4.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
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