aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger/Makefile.inc
Commit message (Expand)AuthorAgeFilesLines
* Added "write_aiger" commandClifford Wolf2016-11-301-0/+3