nixpkgs / aiger - And-Inverter Graph (AIG) utilities

Homepage - http://fmv.jku.at/aiger/

License - MIT

Maintainers - Austin Seipp

Releases

1.9.9 (expand/collapse)
From commit 07e81b66 to 00460bd6