espresso (math/espresso) Add to my watchlist

logic minimization program

Espresso is a program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits

Version: 1.0 License: BSD GitHub
Maintainers No Maintainer
Categories devel science math
Platforms darwin
  • universal (Build for multiple architectures)

"espresso" depends on

build (1)

Ports that depend on "espresso"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck error

Error: cannot check if espresso was updated (Could not resolve host:

last updated: 1 day, 5 hours ago