summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaEsop.c
Commit message (Expand)AuthorAgeFilesLines
* Two small fixes.Alan Mishchenko2017-04-241-1/+1
* Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-171-1/+1
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG...Alan Mishchenko2016-04-111-10/+45
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-091-0/+506