diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-01 01:14:32 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-01 01:14:32 -0500 |
| commit | 5161978d05d3298d1f2212d88f81855220f352c8 (patch) | |
| tree | 6ee261e44245596683246c56e9ec6cce5173c765 /abclib.dsp | |
| parent | 1c16c45679252be03fb2be840fc497a1150b0d2a (diff) | |
| download | abc-5161978d05d3298d1f2212d88f81855220f352c8.tar.gz abc-5161978d05d3298d1f2212d88f81855220f352c8.tar.bz2 abc-5161978d05d3298d1f2212d88f81855220f352c8.zip | |
Started proof transformations.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1267,6 +1267,10 @@ SOURCE=.\src\sat\bsat\satMem.h # End Source File # Begin Source File +SOURCE=.\src\sat\bsat\satProof.c +# End Source File +# Begin Source File + SOURCE=.\src\sat\bsat\satSolver.c # End Source File # Begin Source File |