diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-01 00:10:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-01 00:10:53 -0700 |
| commit | b94766bce5e3199547f54de0a3b5b4e0c779a3c0 (patch) | |
| tree | 8ed44e14a1c7ec522870b7cb2c5d71ebe888104e /abclib.dsp | |
| parent | c53eb0b9e11ba7c0394d5b3b4fb17ddc270ff8b4 (diff) | |
| download | abc-b94766bce5e3199547f54de0a3b5b4e0c779a3c0.tar.gz abc-b94766bce5e3199547f54de0a3b5b4e0c779a3c0.tar.bz2 abc-b94766bce5e3199547f54de0a3b5b4e0c779a3c0.zip | |
Faster isomorphism detection (command &iso).
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -3563,6 +3563,10 @@ SOURCE=.\src\aig\gia\giaIso.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaIso2.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaMan.c # End Source File # Begin Source File |