aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Expand)AuthorAgeFilesLines
* Added "write_aiger" commandClifford Wolf2016-11-302-0/+398