diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-24 09:27:25 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-24 09:27:25 -0800 |
commit | 69dd1337b03cb8817e54d41b18e96a7c01f64966 (patch) | |
tree | d2753ed2f2bf45a9e151f0395dbe11f8d1a62233 /src/aig/gia/module.make | |
parent | fdba646b64d972bfb1830c6fc269bc8e0b9d93d0 (diff) | |
download | abc-69dd1337b03cb8817e54d41b18e96a7c01f64966.tar.gz abc-69dd1337b03cb8817e54d41b18e96a7c01f64966.tar.bz2 abc-69dd1337b03cb8817e54d41b18e96a7c01f64966.zip |
Started PO partitioning command.
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 a8e3e9ee..3fbd5e40 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -7,6 +7,7 @@ SRC += src/aig/gia/gia.c \ src/aig/gia/giaCex.c \ src/aig/gia/giaChoice.c \ src/aig/gia/giaCof.c \ + src/aig/gia/giaCone.c \ src/aig/gia/giaCSatOld.c \ src/aig/gia/giaCSat.c \ src/aig/gia/giaCTas.c \ |