filnix.runningLive log

aiger

1.9.9BuiltDependencies →

And-Inverter Graph (AIG) utilities

Build log · 14 Sep 20:01 · This campaign

Planning log · 14 Sep 19:55 · This campaign

pkgs/by-name/ai/aiger/package.nix

Direct dependencies

aiger-1.9.9.tar.gz bash-5.2p37 picosat-965 stdenv-linux

Selected dependents

boolector lingeling