Программный комплекс минимизации булевых функций методом Закревского с помощью карт Карно.

Распространяется на основе нескольких лицензий. Ознакомьтесь, пожалуйста, с ними в разделе Лицензия.

Состав дистрибутива:

• Karno.exe - главное интерактивное приложение.
• Karno_kernel.exe - ядро программного комплекса.
• Pr.exe - программа посчёта соседей и поиска интервалов на карте Карно.
• Perl.exe - интерпретатор языка PERL (ActiveState Programmer Network (ASPN) Perl).
• rpn.pl - программа интерпретации и вычисления булевых функций в символьном виде.
• qtintf70.dll - интерфейсная библиотека Qt 2.0.
• kernel.dll - библиотека интерфейса.
• Perl56.dll, pms - файлы и директории необходимые для работы Perl.
• Source - исходные тексты интерфейса.
• doc - документация.

Минимальные системные требования:

• CPU - Intel Pentium 500 МГц (рекомендуется Intel Pentium 1 ГГц и выше)
• RAM - 128 Мб (рекомендуется 512 Мб и выше)
• HDD - 200 Мб дискового пространства
• Операционная система - Windows NT/2k/XP/2003

Авторы:

Интерфейс - Сухотюк Павел Сергеевич (roinet@mail.ru).
Ядро - Райцин Михаил (falcone_mix@mail.ru).