Алгоритм Espresso
Материал из Модулярная арифметики
Версия от 08:29, 20 февраля 2013; Turbo (обсуждение | вклад)
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.
