RedSam

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów

O RedSam

Problemy z rozwiązywaniem problemów z ograniczeniami ograniczeń binarnych, pliki wejściowe w formacie XML w bieżącym formacie XCSP 2.1, przyjęte dla konkurencji solver 2008 CSP/MaxCSP/WCSP. Solver jest w języku C++ i korzysta z biblioteki boost