summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaChoice.c
Commit message (Expand)AuthorAgeFilesLines
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-011-295/+67
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-0/+498