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
historia wersji
- Wersja RedSam opublikowany na 2008-03-26
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2008-03-26
Szczegóły programu
- Kategorii: Rozwoju > Innych
- Wydawca: redsam.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows