Алгоритм Espresso
Материал из Модулярная арифметики
(Различия между версиями)
Turbo (обсуждение | вклад) |
Turbo (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | '''Espresso''' - компьютерная программа, использующая эффективные эвристически алгоритмы для минимизации булевых функций.<ref> | + | '''Espresso''' - компьютерная программа, использующая эффективные эвристически алгоритмы для минимизации булевых функций.<ref>Digital Logic Design, Addison Wesley, year=1993, isbn=0-201-15461-7</ref>. Espresso была разработана в IBM Робертом Брайтоном. Вслед за Espresso появились новые программы и алгоритмы использующие предложенные в программе идеи. |
=== Программное обеспечение === | === Программное обеспечение === | ||
Версия 11:30, 20 февраля 2013
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.
Примечания
- ↑ Digital Logic Design, Addison Wesley, year=1993, isbn=0-201-15461-7
