Maintainer Mode
Sign in with GitHub

espresso

Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
2.5.1 no newer release known to repology
Channels
master 2.5.1 · nixos-unstable 2.5.1 · nixos-26.05 2.4 master is ahead of nixos-26.05
Hydra
Advisories
none open
Packaging
no versionCheckHook
Description
Multi-valued PLA minimization
Long description
Espresso takes as input a two-level representation of a two-valued (or multiple-valued) Boolean function, and produces a minimal equivalent representation. The algorithms used are new and represent an advance in both speed and optimality of solution in heuristic Boolean minimization.
License
unfree
Platforms
79 platforms: Linux, Darwin
Main program
espresso
Source provenance
not set: built from source
Outputs
out man
Status
unfree
Maintainers
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Closed or merged in the synced window 1
espresso: 2.4 -> 2.5.1
#559726 by pineapplehunter · merged 5w ago
Issues 0
None open.