diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-03 12:25:27 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-03 12:25:27 -0700 |
commit | 6132d7cb10c13d10cd5de50aea63b3ee9d4472cc (patch) | |
tree | bf0648ae7278ca9746c21640d60ba1898f6d514a /abclib.dsp | |
parent | db16dcb737293653f234173b2f8805cb2603fe75 (diff) | |
download | abc-6132d7cb10c13d10cd5de50aea63b3ee9d4472cc.tar.gz abc-6132d7cb10c13d10cd5de50aea63b3ee9d4472cc.tar.bz2 abc-6132d7cb10c13d10cd5de50aea63b3ee9d4472cc.zip |
Experiment with the AIG package.
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 144 |
1 files changed, 144 insertions, 0 deletions
@@ -733,10 +733,154 @@ SOURCE=.\src\base\test\test.c # Begin Group "abc2" # PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\abc2\abc2.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2_.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Blifi.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Blifo.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Core.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Dup.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Equiv.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Extract.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Flatten.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Func.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Fx.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Gia.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Hash.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Insert.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Logic.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Map.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Mfs.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Multi.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Ntk.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Part.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Print.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Rec.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Slack.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Strash.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Time.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Truth.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Util.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Veri.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Verify.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2\abc2Vero.c +# End Source File # End Group # Begin Group "abc2d" # PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\abc2d\abc2d.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2d\ast2.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2d\magic.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2d\magic.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\abc2d\util.c +# End Source File # End Group # End Group # Begin Group "bdd" |