Программа конвертирования файла

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

+ есть дополнительные материалы по основной теме SAT – зада́ча выполни́мости бу́левых фо́рмул,и другая информация. Срок выполнения до 16.05.2014
Опубликован 08.05.2014 в 00:43 Последнее изменение: 10.05.2014 в 01:31

Выберите способ верификации:

Обновите страницу после прохождения верификации.