summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorVinicius Callegaro <callegaro@gmail.com>2016-11-08 17:00:35 -0200
committerVinicius Callegaro <callegaro@gmail.com>2016-11-08 17:00:35 -0200
commitfaf8d6ecea8e7b7030a13531b834522f9821ff30 (patch)
tree7b6c3131511fb40c6798ce2175e25488765c36cf /Makefile
parent6cd66183e4304eb66805b8236642bf1f85cfa14f (diff)
downloadabc-faf8d6ecea8e7b7030a13531b834522f9821ff30.tar.gz
abc-faf8d6ecea8e7b7030a13531b834522f9821ff30.tar.bz2
abc-faf8d6ecea8e7b7030a13531b834522f9821ff30.zip
Disjoint-support decomposition with cofactoring and boolean difference analysis
from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 568ab2d7..70222799 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ MODULES := \
src/misc/mem src/misc/bar src/misc/bbl src/misc/parse \
src/opt/cut src/opt/fxu src/opt/fxch src/opt/rwr src/opt/mfs src/opt/sim \
src/opt/ret src/opt/fret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt \
- src/opt/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/sfm \
+ src/opt/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/dsc src/opt/sfm \
src/sat/bsat src/sat/csat src/sat/msat src/sat/psat src/sat/cnf src/sat/bmc \
src/bool/bdc src/bool/deco src/bool/dec src/bool/kit src/bool/lucky \
src/bool/rsb src/bool/rpo \