Description
And-Inverter Graph (AIG) utilities.
And-Inverter Graph (AIG) utilities.
1.9.9
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
aarch64-darwin
aarch64-freebsd
aarch64-linux
aarch64-netbsd
armv5tel-linux
armv6l-linux
armv6l-netbsd
armv7a-darwin
armv7a-linux
armv7a-netbsd
armv7l-linux
armv7l-netbsd
i686-cygwin
i686-darwin
i686-freebsd
i686-linux
i686-netbsd
i686-openbsd
loongarch64-linux
m68k-linux
m68k-netbsd
microblaze-linux
microblazeel-linux
mips-linux
mips64-linux
mips64el-linux
mipsel-linux
mipsel-netbsd
powerpc-netbsd
powerpc64-linux
powerpc64le-linux
riscv32-linux
riscv32-netbsd
riscv64-linux
riscv64-netbsd
s390-linux
s390x-linux
x86_64-cygwin
x86_64-darwin
x86_64-freebsd
x86_64-linux
x86_64-netbsd
x86_64-openbsd
x86_64-redox
x86_64-solaris