package

aiger

Description

And-Inverter Graph (AIG) utilities.

Metadata

Version

1.9.20

License

Status

Source

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

Homepage

https://fmv.jku.at/aiger/

Maintainers (1)

Austin Seipp

Executables (28)

Show all

bin/aigand
bin/aigbmc
bin/aigdd

bin/aigdep
bin/aigflip
bin/aigfuzz
bin/aiginfo
bin/aigjoin
bin/aigmiter
bin/aigmove
bin/aignm
bin/aigor
bin/aigreset
bin/aigsim
bin/aigsplit
bin/aigstrip
bin/aigtoaig
bin/aigtoblif
bin/aigtocnf
bin/aigtodot
bin/aigtosmv
bin/aigunconstraint
bin/aigunroll
bin/andtoaig
bin/bliftoaig
bin/smvtoaig
bin/soltostim
bin/wrapstim

Platforms (45)

Darwin

FreeBSD

Linux

NetBSD

OpenBSD

Redox

Solaris

Windows

Show all