Алгоритм Espresso
Материал из Модулярная арифметики
(Различия между версиями)
Turbo (обсуждение | вклад) (Новая страница: «'''Espresso''' - компьютерная программа, использующая эффективные эвристически алгоритмы для …») |
Turbo (обсуждение | вклад) |
||
| Строка 10: | Строка 10: | ||
== Примечания == | == Примечания == | ||
| − | + | <references/> | |
Версия 11:29, 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.
