diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-17 20:48:56 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-17 20:48:56 +0700 |
| commit | 23671d65a93c07fcb87cb165541d442581f5ce63 (patch) | |
| tree | a1ea0c1647608cd5851871cffc0b3c481f1195fe /abclib.dsp | |
| parent | e21d307544218023726fe72f4fc2954d1c63af90 (diff) | |
| download | abc-23671d65a93c07fcb87cb165541d442581f5ce63.tar.gz abc-23671d65a93c07fcb87cb165541d442581f5ce63.tar.bz2 abc-23671d65a93c07fcb87cb165541d442581f5ce63.zip | |
Experiments with SPFD-based decomposition.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |