diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 00:38:49 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 00:38:49 -0800 |
| commit | 36a80c7579c99ba307a8d5bcbe24e0b1b70cc5a6 (patch) | |
| tree | 616f7f79299d076af942bbdb6944bb98e17f81e6 | |
| parent | beb29257bfcdbea95ed208187fa24fa3de35fd2f (diff) | |
| download | abc-36a80c7579c99ba307a8d5bcbe24e0b1b70cc5a6.tar.gz abc-36a80c7579c99ba307a8d5bcbe24e0b1b70cc5a6.tar.bz2 abc-36a80c7579c99ba307a8d5bcbe24e0b1b70cc5a6.zip | |
Added support for generating a library of real-life truth-tables.
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -3575,6 +3575,10 @@ SOURCE=.\src\aig\saig\saigGlaPba.c # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigGlaPba2.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigHaig.c # End Source File # Begin Source File |