diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-09 17:00:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-09 17:00:46 -0700 |
| commit | d0a0cf63951e24a6d979af65c58d564254caec70 (patch) | |
| tree | 188a285b131308422bb081f88293551dff2181c5 /src/aig/gia/module.make | |
| parent | 8b07237bf5041bf6a09fdeabb52bbf2745c027bf (diff) | |
| download | abc-d0a0cf63951e24a6d979af65c58d564254caec70.tar.gz abc-d0a0cf63951e24a6d979af65c58d564254caec70.tar.bz2 abc-d0a0cf63951e24a6d979af65c58d564254caec70.zip | |
Command &esop to convert AIG into ESOP.
Diffstat (limited to 'src/aig/gia/module.make')
| -rw-r--r-- | src/aig/gia/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make index cebb73eb..8c3d5a39 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -22,6 +22,7 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaEquiv.c \ src/aig/gia/giaEra.c \ src/aig/gia/giaEra2.c \ + src/aig/gia/giaEsop.c \ src/aig/gia/giaFadds.c \ src/aig/gia/giaFalse.c \ src/aig/gia/giaFanout.c \ |