summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaEsop.c
Commit message (Expand)AuthorAgeFilesLines
* 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