diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 15:45:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 15:45:50 -0700 |
| commit | 6a49d1f4c61b9e4a9f135ea46f6c64e90aba0e6c (patch) | |
| tree | f009a44326029ab137435401aca9f84a0768ffa9 /abclib.dsp | |
| parent | e782bbb8428b3c402a62be8ab84b44223855356a (diff) | |
| download | abc-6a49d1f4c61b9e4a9f135ea46f6c64e90aba0e6c.tar.gz abc-6a49d1f4c61b9e4a9f135ea46f6c64e90aba0e6c.tar.bz2 abc-6a49d1f4c61b9e4a9f135ea46f6c64e90aba0e6c.zip | |
Reading/writing MiniAIG and several minor changes.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -3575,6 +3575,10 @@ SOURCE=.\src\aig\gia\giaMem.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaMini.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaPat.c # End Source File # Begin Source File |