Программы xml-sat.sf.net

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