summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSupp.c
Commit message (Collapse)AuthorAgeFilesLines
* Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵Bruno Schmitt2017-08-291-4/+3
| | | | used in other packages
* Commenting out things in GIA constant sweeping.Alan Mishchenko2017-07-141-3/+3
|
* Experiments with support minimization.Alan Mishchenko2017-04-291-0/+549
|
* Experiments with support minimization.Alan Mishchenko2017-04-271-0/+338