summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaPolyn.c
Commit message (Expand)AuthorAgeFilesLines
* Computing polynomials for AIGs representing arithmetic functions.Alan Mishchenko2015-01-011-0/+227