diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-08 20:07:52 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-08 20:07:52 -0800 |
| commit | 35f90a777dd92e7647689b93db09ca068cca87a2 (patch) | |
| tree | 1ebaebd7891228e74da47f73ff040c04ea5a2cd0 /abclib.dsp | |
| parent | 24f0da1475c715a1daa57fd20159c438728a8fc2 (diff) | |
| download | abc-35f90a777dd92e7647689b93db09ca068cca87a2.tar.gz abc-35f90a777dd92e7647689b93db09ca068cca87a2.tar.bz2 abc-35f90a777dd92e7647689b93db09ca068cca87a2.zip | |
Mffc-based structural decomposition of the network and bug fixes in reordering package.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -307,6 +307,10 @@ SOURCE=.\src\base\abci\abcMerge.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcMffc.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcMini.c # End Source File # Begin Source File @@ -3563,6 +3567,10 @@ SOURCE=.\src\aig\int\int.h # End Source File # Begin Source File +SOURCE=.\src\aig\int\intCheck.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\int\intContain.c # End Source File # Begin Source File |