package

aiger

Description

And-Inverter Graph (AIG) utilities.

Metadata

Version

1.9.9

License

Status

Source

pkgs/applications/science/logic/aiger/default.nix:54

Homepage

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

Maintainers (1)

Austin Seipp

Executables (28)

Show all

bin/aigsim
bin/aigstrip
bin/aigmiter

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

Platforms (44)

Darwin

FreeBSD

Linux

NetBSD

OpenBSD

Redox

Solaris

Windows

Show all