Maintainer Mode
Sign in with GitHub

aiger

aiger 1.9.20 · pkgs/by-name/ai/aiger/package.nix
Sign in to subscribe
Health
Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
1.9.20 no newer release in its git tags
Channels
master 1.9.20 · nixos-unstable 1.9.20 · nixos-26.05 1.9.20 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
And-Inverter Graph (AIG) utilities
Homepage
https://fmv.jku.at/aiger/
License
MIT
Platforms
45 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out dev lib
Status
not broken, not insecure, free
Position
pkgs/by-name/ai/aiger/package.nix:81
Maintainers
thoughtpolice
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Closed or merged in the synced window 1
aiger: fix build with clang 16
#263782 by reckenrode · merged 2y ago
Issues 0
None open.