summaryrefslogtreecommitdiffstats
path: root/src/aig/miniaig/miniaig.h
Commit message (Expand)AuthorAgeFilesLines
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-0/+1
* Fix C++ compilation errorsBaruch Sterin2015-10-161-0/+4
* Added procedure to check correctness of the topo order during AIG construction.Alan Mishchenko2012-10-101-0/+27
* Added serialization of Mini AIG.Alan Mishchenko2012-09-291-6/+62
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-0/+193