%FILES%
usr/
usr/bin/
usr/bin/aigand
usr/bin/aigdd
usr/bin/aigflip
usr/bin/aigfuzz
usr/bin/aiginfo
usr/bin/aigjoin
usr/bin/aigmiter
usr/bin/aigmove
usr/bin/aignm
usr/bin/aigor
usr/bin/aigreset
usr/bin/aigselect
usr/bin/aigsim
usr/bin/aigsplit
usr/bin/aigstrip
usr/bin/aigtoaig
usr/bin/aigtoblif
usr/bin/aigtobtor
usr/bin/aigtocnf
usr/bin/aigtodot
usr/bin/aigtosmv
usr/bin/aiguncomment
usr/bin/aigunconstraint
usr/bin/aigunroll
usr/bin/andtoaig
usr/bin/bliftoaig
usr/bin/smvtoaig
usr/bin/soltostim
usr/bin/wrapstim
usr/share/
usr/share/aiger/
usr/share/aiger/examples/
usr/share/aiger/examples/and.aag
usr/share/aiger/examples/buffer.aag
usr/share/aiger/examples/cnt1.aag
usr/share/aiger/examples/cnt1.wit
usr/share/aiger/examples/cnt1e.aag
usr/share/aiger/examples/cnt1e.wit
usr/share/aiger/examples/code/
usr/share/aiger/examples/code/JaigerToCNF.java
usr/share/aiger/examples/code/poormanaigtocnf.c
usr/share/aiger/examples/code/read.c
usr/share/aiger/examples/code/write.c
usr/share/aiger/examples/empty.aag
usr/share/aiger/examples/false.aag
usr/share/aiger/examples/halfadder.aag
usr/share/aiger/examples/inverter.aag
usr/share/aiger/examples/makefile
usr/share/aiger/examples/notcnt1.aag
usr/share/aiger/examples/notcnt1e.aag
usr/share/aiger/examples/or.aag
usr/share/aiger/examples/smv/
usr/share/aiger/examples/smv/latch0.smv
usr/share/aiger/examples/smv/latch1.smv
usr/share/aiger/examples/smv/latch2.smv
usr/share/aiger/examples/smv/mult2.aig
usr/share/aiger/examples/smv/mult2.flatsmv
usr/share/aiger/examples/smv/mult2.smv
usr/share/aiger/examples/smv/s2cfair.aig
usr/share/aiger/examples/smv/s2cfair.flatsmv
usr/share/aiger/examples/smv/s2cfair.smv
usr/share/aiger/examples/smv/s2cunfair.aig
usr/share/aiger/examples/smv/s2cunfair.flatsmv
usr/share/aiger/examples/smv/s2cunfair.smv
usr/share/aiger/examples/toggle-re.aag
usr/share/aiger/examples/toggle.aag
usr/share/aiger/examples/true.aag
usr/share/aiger/examples/xor1.aag
usr/share/aiger/examples/xorxormiter.aag
usr/share/licenses/
usr/share/licenses/aiger/
usr/share/licenses/aiger/LICENSE
