По договоренности
Задача состоит в: написать программу на (с интерфейсом или без,обсудим в ЛС), которая будет брать файл комбинационной схемы из стандарта ISCAS85 (есть в виде файлов) и конвертировать в формат подходящий для программы miniSAT ( мануал по работе программы так же имеется).
+ есть дополнительные материалы по основной теме SAT – зада́ча выполни́мости бу́левых фо́рмул,и другая информация. Срок выполнения до 16.05.2014