├── .gitignore ├── FORMAT ├── LICENSE ├── NEWS.md ├── README ├── TODO ├── VERSION ├── aigand.c ├── aigbmc.c ├── aigdd.c ├── aigdeinterleave.sh ├── aigdep.c ├── aiger.c ├── aiger.h ├── aigflip.c ├── aigfuzz.c ├── aigfuzz.h ├── aigfuzzlayers.c ├── aiginfo.c ├── aiginterleave.sh ├── aigjoin.c ├── aigmiter.c ├── aigmove.c ├── aignm.c ├── aigor.c ├── aigreset.c ├── aigselect.c ├── aigsim.c ├── aigsplit.c ├── aigstrip.c ├── aigswap.sh ├── aigswap2.sh ├── aigtoaig.c ├── aigtoblif.c ├── aigtobtor.c ├── aigtocnf.c ├── aigtodot.c ├── aigtosmv.c ├── aiguncomment.c ├── aigunconstraint.c ├── aigunor.c ├── aigunroll.c ├── aigvis ├── andtoaig.c ├── bliftoaig.c ├── cleanaigfuzz ├── configure.sh ├── doc ├── aiger1 │ ├── aiger1.tex │ ├── llncs.cls │ └── makefile └── beyond1 │ ├── .gitignore │ ├── beyond1.tex │ ├── llncs.cls │ └── makefile ├── examples ├── .cvsignore ├── and.aag ├── buffer.aag ├── cnt1.aag ├── cnt1.wit ├── cnt1e.aag ├── cnt1e.wit ├── code │ ├── JaigerToCNF.java │ ├── poormanaigtocnf.c │ ├── read.c │ └── write.c ├── empty.aag ├── false.aag ├── halfadder.aag ├── inverter.aag ├── makefile ├── notcnt1.aag ├── notcnt1e.aag ├── or.aag ├── smv │ ├── latch0.smv │ ├── latch1.smv │ ├── latch2.smv │ ├── mult2.aig │ ├── mult2.flatsmv │ ├── mult2.smv │ ├── s2cfair.aig │ ├── s2cfair.flatsmv │ ├── s2cfair.smv │ ├── s2cunfair.aig │ ├── s2cunfair.flatsmv │ └── s2cunfair.smv ├── toggle-re.aag ├── toggle.aag ├── true.aag ├── xor1.aag └── xorxormiter.aag ├── jku.c ├── log ├── .gitignore ├── and1.and ├── and1.out ├── and2.and ├── and2.out ├── and3.and ├── and3.out ├── cnt1.smv ├── cnt1e.smv ├── cnt1re.smv ├── cnt2.smv ├── cnt2e.smv ├── cnt2re.smv ├── cnt3.smv ├── cnt3e.smv ├── cnt3re.smv ├── cnt4.smv ├── dp2.smv ├── dp3.smv ├── dp4.smv ├── empty.and ├── empty.out ├── flip1.smv ├── init1.blif ├── initinvar0.smv ├── initinvar1.smv ├── inittrans0.smv ├── inittrans0det.smv ├── inittrans1.smv ├── inittrans1det.smv ├── nextnoinit.smv ├── nonext.smv ├── regr0.smv ├── s1494.blif ├── s27.blif ├── s713.blif └── toggle.in ├── makefile.in ├── mc.sh ├── mkminrel.sh ├── mkrelease.sh ├── runaigcnfuzz ├── runaigfuzz ├── runaigmcncheck ├── shrinkaigerwitness.c ├── simpaig.c ├── simpaig.h ├── smvtoaig.c ├── soltostim.c ├── test.mk ├── testaigbmc ├── testaigtoaig.c ├── testall ├── testandtoaig ├── testbliftoaig ├── testsimpaig.c ├── testsmvtoaig ├── verify_bliftoaig └── wrapstim.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/.gitignore -------------------------------------------------------------------------------- /FORMAT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/FORMAT -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/LICENSE -------------------------------------------------------------------------------- /NEWS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/NEWS.md -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/README -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/TODO -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 1.9.24 2 | -------------------------------------------------------------------------------- /aigand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigand.c -------------------------------------------------------------------------------- /aigbmc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigbmc.c -------------------------------------------------------------------------------- /aigdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigdd.c -------------------------------------------------------------------------------- /aigdeinterleave.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigdeinterleave.sh -------------------------------------------------------------------------------- /aigdep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigdep.c -------------------------------------------------------------------------------- /aiger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aiger.c -------------------------------------------------------------------------------- /aiger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aiger.h -------------------------------------------------------------------------------- /aigflip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigflip.c -------------------------------------------------------------------------------- /aigfuzz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigfuzz.c -------------------------------------------------------------------------------- /aigfuzz.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigfuzz.h -------------------------------------------------------------------------------- /aigfuzzlayers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigfuzzlayers.c -------------------------------------------------------------------------------- /aiginfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aiginfo.c -------------------------------------------------------------------------------- /aiginterleave.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aiginterleave.sh -------------------------------------------------------------------------------- /aigjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigjoin.c -------------------------------------------------------------------------------- /aigmiter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigmiter.c -------------------------------------------------------------------------------- /aigmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigmove.c -------------------------------------------------------------------------------- /aignm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aignm.c -------------------------------------------------------------------------------- /aigor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigor.c -------------------------------------------------------------------------------- /aigreset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigreset.c -------------------------------------------------------------------------------- /aigselect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigselect.c -------------------------------------------------------------------------------- /aigsim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigsim.c -------------------------------------------------------------------------------- /aigsplit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigsplit.c -------------------------------------------------------------------------------- /aigstrip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigstrip.c -------------------------------------------------------------------------------- /aigswap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigswap.sh -------------------------------------------------------------------------------- /aigswap2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigswap2.sh -------------------------------------------------------------------------------- /aigtoaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigtoaig.c -------------------------------------------------------------------------------- /aigtoblif.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigtoblif.c -------------------------------------------------------------------------------- /aigtobtor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigtobtor.c -------------------------------------------------------------------------------- /aigtocnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigtocnf.c -------------------------------------------------------------------------------- /aigtodot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigtodot.c -------------------------------------------------------------------------------- /aigtosmv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigtosmv.c -------------------------------------------------------------------------------- /aiguncomment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aiguncomment.c -------------------------------------------------------------------------------- /aigunconstraint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigunconstraint.c -------------------------------------------------------------------------------- /aigunor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigunor.c -------------------------------------------------------------------------------- /aigunroll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigunroll.c -------------------------------------------------------------------------------- /aigvis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/aigvis -------------------------------------------------------------------------------- /andtoaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/andtoaig.c -------------------------------------------------------------------------------- /bliftoaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/bliftoaig.c -------------------------------------------------------------------------------- /cleanaigfuzz: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | killall runaigmcfuzz 3 | rm -f red-* bug-* 4 | -------------------------------------------------------------------------------- /configure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/configure.sh -------------------------------------------------------------------------------- /doc/aiger1/aiger1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/doc/aiger1/aiger1.tex -------------------------------------------------------------------------------- /doc/aiger1/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/doc/aiger1/llncs.cls -------------------------------------------------------------------------------- /doc/aiger1/makefile: -------------------------------------------------------------------------------- 1 | all: 2 | pdflatex aiger1 3 | -------------------------------------------------------------------------------- /doc/beyond1/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/doc/beyond1/.gitignore -------------------------------------------------------------------------------- /doc/beyond1/beyond1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/doc/beyond1/beyond1.tex -------------------------------------------------------------------------------- /doc/beyond1/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/doc/beyond1/llncs.cls -------------------------------------------------------------------------------- /doc/beyond1/makefile: -------------------------------------------------------------------------------- 1 | all: 2 | pdflatex beyond1 3 | -------------------------------------------------------------------------------- /examples/.cvsignore: -------------------------------------------------------------------------------- 1 | write 2 | read 3 | poormanaigtocnf 4 | *.class 5 | -------------------------------------------------------------------------------- /examples/and.aag: -------------------------------------------------------------------------------- 1 | aag 3 2 0 1 1 2 | 2 3 | 4 4 | 6 5 | 6 2 4 6 | -------------------------------------------------------------------------------- /examples/buffer.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/buffer.aag -------------------------------------------------------------------------------- /examples/cnt1.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/cnt1.aag -------------------------------------------------------------------------------- /examples/cnt1.wit: -------------------------------------------------------------------------------- 1 | 1 2 | b0 3 | 0 4 | 5 | . 6 | -------------------------------------------------------------------------------- /examples/cnt1e.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/cnt1e.aag -------------------------------------------------------------------------------- /examples/cnt1e.wit: -------------------------------------------------------------------------------- 1 | 1 2 | b0 3 | 0 4 | 1 5 | 1 6 | . 7 | -------------------------------------------------------------------------------- /examples/code/JaigerToCNF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/code/JaigerToCNF.java -------------------------------------------------------------------------------- /examples/code/poormanaigtocnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/code/poormanaigtocnf.c -------------------------------------------------------------------------------- /examples/code/read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/code/read.c -------------------------------------------------------------------------------- /examples/code/write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/code/write.c -------------------------------------------------------------------------------- /examples/empty.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/empty.aag -------------------------------------------------------------------------------- /examples/false.aag: -------------------------------------------------------------------------------- 1 | KLLW0CC.. -------------------------------------------------------------------------------- /examples/halfadder.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/halfadder.aag -------------------------------------------------------------------------------- /examples/inverter.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/inverter.aag -------------------------------------------------------------------------------- /examples/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/makefile -------------------------------------------------------------------------------- /examples/notcnt1.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/notcnt1.aag -------------------------------------------------------------------------------- /examples/notcnt1e.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/notcnt1e.aag -------------------------------------------------------------------------------- /examples/or.aag: -------------------------------------------------------------------------------- 1 | aag 3 2 0 1 1 2 | 2 3 | 4 4 | 7 5 | 6 3 5 6 | -------------------------------------------------------------------------------- /examples/smv/latch0.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/latch0.smv -------------------------------------------------------------------------------- /examples/smv/latch1.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/latch1.smv -------------------------------------------------------------------------------- /examples/smv/latch2.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/latch2.smv -------------------------------------------------------------------------------- /examples/smv/mult2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/mult2.aig -------------------------------------------------------------------------------- /examples/smv/mult2.flatsmv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/mult2.flatsmv -------------------------------------------------------------------------------- /examples/smv/mult2.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/mult2.smv -------------------------------------------------------------------------------- /examples/smv/s2cfair.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/s2cfair.aig -------------------------------------------------------------------------------- /examples/smv/s2cfair.flatsmv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/s2cfair.flatsmv -------------------------------------------------------------------------------- /examples/smv/s2cfair.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/s2cfair.smv -------------------------------------------------------------------------------- /examples/smv/s2cunfair.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/s2cunfair.aig -------------------------------------------------------------------------------- /examples/smv/s2cunfair.flatsmv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/s2cunfair.flatsmv -------------------------------------------------------------------------------- /examples/smv/s2cunfair.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/smv/s2cunfair.smv -------------------------------------------------------------------------------- /examples/toggle-re.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/toggle-re.aag -------------------------------------------------------------------------------- /examples/toggle.aag: -------------------------------------------------------------------------------- 1 | aag 1 0 1 2 0 2 | 2 3 3 | 2 4 | 3 5 | -------------------------------------------------------------------------------- /examples/true.aag: -------------------------------------------------------------------------------- 1 | KLLW0CC.C. -------------------------------------------------------------------------------- /examples/xor1.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/xor1.aag -------------------------------------------------------------------------------- /examples/xorxormiter.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/examples/xorxormiter.aag -------------------------------------------------------------------------------- /jku.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/jku.c -------------------------------------------------------------------------------- /log/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/.gitignore -------------------------------------------------------------------------------- /log/and1.and: -------------------------------------------------------------------------------- 1 | 2 4 6 2 | -------------------------------------------------------------------------------- /log/and1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/and1.out -------------------------------------------------------------------------------- /log/and2.and: -------------------------------------------------------------------------------- 1 | 2 2 1 2 | -------------------------------------------------------------------------------- /log/and2.out: -------------------------------------------------------------------------------- 1 | *** [andtoaig] cyclic definition for and gate 1 2 | -------------------------------------------------------------------------------- /log/and3.and: -------------------------------------------------------------------------------- 1 | 100 2001 11 2 | -------------------------------------------------------------------------------- /log/and3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/and3.out -------------------------------------------------------------------------------- /log/cnt1.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt1.smv -------------------------------------------------------------------------------- /log/cnt1e.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt1e.smv -------------------------------------------------------------------------------- /log/cnt1re.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt1re.smv -------------------------------------------------------------------------------- /log/cnt2.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt2.smv -------------------------------------------------------------------------------- /log/cnt2e.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt2e.smv -------------------------------------------------------------------------------- /log/cnt2re.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt2re.smv -------------------------------------------------------------------------------- /log/cnt3.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt3.smv -------------------------------------------------------------------------------- /log/cnt3e.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt3e.smv -------------------------------------------------------------------------------- /log/cnt3re.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt3re.smv -------------------------------------------------------------------------------- /log/cnt4.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/cnt4.smv -------------------------------------------------------------------------------- /log/dp2.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/dp2.smv -------------------------------------------------------------------------------- /log/dp3.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/dp3.smv -------------------------------------------------------------------------------- /log/dp4.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/dp4.smv -------------------------------------------------------------------------------- /log/empty.and: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /log/empty.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/empty.out -------------------------------------------------------------------------------- /log/flip1.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/flip1.smv -------------------------------------------------------------------------------- /log/init1.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/init1.blif -------------------------------------------------------------------------------- /log/initinvar0.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/initinvar0.smv -------------------------------------------------------------------------------- /log/initinvar1.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/initinvar1.smv -------------------------------------------------------------------------------- /log/inittrans0.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/inittrans0.smv -------------------------------------------------------------------------------- /log/inittrans0det.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/inittrans0det.smv -------------------------------------------------------------------------------- /log/inittrans1.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/inittrans1.smv -------------------------------------------------------------------------------- /log/inittrans1det.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/inittrans1det.smv -------------------------------------------------------------------------------- /log/nextnoinit.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/nextnoinit.smv -------------------------------------------------------------------------------- /log/nonext.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/nonext.smv -------------------------------------------------------------------------------- /log/regr0.smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/regr0.smv -------------------------------------------------------------------------------- /log/s1494.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/s1494.blif -------------------------------------------------------------------------------- /log/s27.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/s27.blif -------------------------------------------------------------------------------- /log/s713.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/s713.blif -------------------------------------------------------------------------------- /log/toggle.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/log/toggle.in -------------------------------------------------------------------------------- /makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/makefile.in -------------------------------------------------------------------------------- /mc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/mc.sh -------------------------------------------------------------------------------- /mkminrel.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/mkminrel.sh -------------------------------------------------------------------------------- /mkrelease.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/mkrelease.sh -------------------------------------------------------------------------------- /runaigcnfuzz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/runaigcnfuzz -------------------------------------------------------------------------------- /runaigfuzz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/runaigfuzz -------------------------------------------------------------------------------- /runaigmcncheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/runaigmcncheck -------------------------------------------------------------------------------- /shrinkaigerwitness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/shrinkaigerwitness.c -------------------------------------------------------------------------------- /simpaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/simpaig.c -------------------------------------------------------------------------------- /simpaig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/simpaig.h -------------------------------------------------------------------------------- /smvtoaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/smvtoaig.c -------------------------------------------------------------------------------- /soltostim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/soltostim.c -------------------------------------------------------------------------------- /test.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/test.mk -------------------------------------------------------------------------------- /testaigbmc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/testaigbmc -------------------------------------------------------------------------------- /testaigtoaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/testaigtoaig.c -------------------------------------------------------------------------------- /testall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/testall -------------------------------------------------------------------------------- /testandtoaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/testandtoaig -------------------------------------------------------------------------------- /testbliftoaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/testbliftoaig -------------------------------------------------------------------------------- /testsimpaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/testsimpaig.c -------------------------------------------------------------------------------- /testsmvtoaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/testsmvtoaig -------------------------------------------------------------------------------- /verify_bliftoaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/verify_bliftoaig -------------------------------------------------------------------------------- /wrapstim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arminbiere/aiger/HEAD/wrapstim.c --------------------------------------------------------------------------------