summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigAbs2.c
Commit message (Collapse)AuthorAgeFilesLines
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-237/+0
|
* initial commit of public abcAlan Mishchenko2010-11-011-0/+237