summaryrefslogtreecommitdiff
path: root/examples/aiger
ModeNameSize
-rw-r--r--.gitignore46logplain
-rw-r--r--README970logplain
-rw-r--r--demo.sh348logplain
-rw-r--r--demo.v358logplain