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