Программы redsam.sf.net

Ограничение Удовлетворенности Проблемы Solver для двоичных ограничений, входные файлы в XML с текущим форматом XCSP 2.1, принятый для 2008 CSP/MaxCSP/WCSP решателе конкуренции. Решател находится в C и использовать библиотеку