RedSam

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 4.0/5 - ‎1 ‎Stimmen

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