aiger
aiger 1.9.20
And-Inverter Graph (AIG) utilities
https://fmv.jku.at/aiger/MIT License
programs: aigmiter, aigdep, aigunconstraint, aigor, aignm, aiginfo, aigbmc, aigsplit, aigselect, aigjoin, aigreset, aigtosmv, soltostim, aigtoblif, aigtodot, aiguncomment, aigsim, aigtobtor, aigtocnf, bliftoaig, aigtoaig, andtoaig, smvtoaig, wrapstim, aigstrip, aigdd, aigmove, aigfuzz, aigand, aigunroll, aigflip
Maintainers
Platforms (45)
armv7a-linuxriscv32-linuxmips64-linuxi686-linuxs390x-linuxpowerpc-linuxarmv6l-netbsdarmv7l-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