From 23671d65a93c07fcb87cb165541d442581f5ce63 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 17 Aug 2011 20:48:56 +0700 Subject: Experiments with SPFD-based decomposition. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index e0b214a3..b962075e 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -3099,6 +3099,10 @@ SOURCE=.\src\aig\bdc\bdcInt.h # End Source File # Begin Source File +SOURCE=.\src\aig\bdc\bdcSpfd.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\bdc\bdcTable.c # End Source File # End Group -- cgit v1.2.3