RedSam
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О RedSam
Ограничение Удовлетворенности Проблемы Solver для двоичных ограничений, входные файлы в XML с текущим форматом XCSP 2.1, принятый для 2008 CSP/MaxCSP/WCSP решателе конкуренции. Решател находится в C и использовать библиотеку повышения