diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-26 23:15:42 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-26 23:15:42 +0800 |
| commit | 0736f396092b0d15a35ea42ce568c483514b9333 (patch) | |
| tree | 120e04a79a0cdae0d689e21b89c7e848d6c43ca5 /abclib.dsp | |
| parent | 0f77840520775cd9ac4bdf4cae2813dadc67ae4e (diff) | |
| download | abc-0736f396092b0d15a35ea42ce568c483514b9333.tar.gz abc-0736f396092b0d15a35ea42ce568c483514b9333.tar.bz2 abc-0736f396092b0d15a35ea42ce568c483514b9333.zip | |
New truth table permutation procedure.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -3071,6 +3071,10 @@ SOURCE=.\src\aig\kit\kitIsop.c # End Source File # Begin Source File +SOURCE=.\src\aig\kit\kitPerm.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\kit\kitPla.c # End Source File # Begin Source File |