aiger
aiger 1.9.20
And-Inverter Graph (AIG) utilities
https://fmv.jku.at/aiger/MIT License
programs: smvtoaig, bliftoaig, wrapstim, aigmove, andtoaig, aigdep, aigtodot, aigtoaig, aigflip, aigtocnf, aiguncomment, soltostim, aigtoblif, aigsim, aigtosmv, aigtobtor, aigstrip, aigjoin, aigunconstraint, aiginfo, aigdd, aigand, aigsplit, aigreset, aigfuzz, aignm, aigmiter, aigunroll, aigor, aigbmc, aigselect
Maintainers
Platforms (46)
mips-linuxarc-linuxmipsel-netbsdpowerpc-netbsdmicroblaze-linuxriscv32-netbsdriscv64-netbsdx86_64-netbsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ aiger ];
Ad-hoc shell
nix-shell -p aiger
Flake (nix run)
nix run nixpkgs#aiger