summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigSimExt2.c
Commit message (Expand)AuthorAgeFilesLines
* Yet another improvement in &abs_refine -s.Alan Mishchenko2011-03-041-0/+3
* Another improvement in &abs_refine -s.Alan Mishchenko2011-03-041-9/+88
* Improved the speed of refinement algorithm in &abs_refine.Alan Mishchenko2011-03-041-0/+287