Constraint Satisfaction Problems Solver for Binary constraints, Eingabedateien in XML mit dem aktuellen Format XCSP 2.1, angenommen für den CSP/MaxCSP/WCSP-Solver-Wettbewerb 2008. Der Solver befindet sich in C++ und nutzt die Boost-Bibliothek
VERSIONSVERLAUF
- Version RedSam veröffentlicht auf 2008-03-26
Mehrere Korrekturen und Updates - Version N/A veröffentlicht auf 2008-03-26
Programmdetails
- Kategorie: Entwicklung > Andere
- Verlag: redsam.sf.net
- Lizenz: kostenlos
- Preis: N/A
- Version: Array
- Plattform: windows