XML-SAT

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов

О XML-SAT

Модульный решателер SAT на основе Minisat. Модули описаны в XML-файлах, которые обрабатываются перл-скриптом; таким образом генерируя n-решатели.