Алгоритм Espresso

Материал из Модулярная арифметики
Перейти к: навигация, поиск

Espresso - компьютерная программа, использующая эффективные эвристически алгоритмы для минимизации булевых функций.[1]. Espresso была разработана в IBM Робертом Брайтоном. Вслед за Espresso появились новые программы и алгоритмы использующие предложенные в программе идеи.

Содержание

Программное обеспечение

Исходники Espresso

The source of the original Espresso program is available from the website of the University of California, Berkeley, at Pubs/Downloads/Espresso. A version of Espresso that has been updated for modern POSIX systems is available at [1]

Logic Friday

Logic Friday - бесплатная программа под Windows с графическим интерфейсом. Logic Friday доступна на сайте http://www.sontrak.com.

Примечания

  1. Digital Logic Design, Addison Wesley, year=1993, isbn=0-201-15461-7

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация