From 18ed4d3448bb0e3a73c0fbdb26e12686544d98f8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 16 Aug 2014 18:31:46 -0700 Subject: Added DSD-based collapsing &dsd. --- src/aig/gia/module.make | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/gia/module.make') diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make index 0bee3524..5004199b 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -7,6 +7,7 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaBidec.c \ src/aig/gia/giaCCof.c \ src/aig/gia/giaCex.c \ + src/aig/gia/giaClp.c \ src/aig/gia/giaCof.c \ src/aig/gia/giaCone.c \ src/aig/gia/giaCSatOld.c \ -- cgit v1.2.3