diff options
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -1307,12 +1307,24 @@ SOURCE=.\src\sat\bsat\satTrace.c # End Source File # Begin Source File +SOURCE=.\src\sat\bsat\satTruth.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bsat\satTruth.h +# End Source File +# Begin Source File + SOURCE=.\src\sat\bsat\satUtil.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satVec.h # End Source File +# Begin Source File + +SOURCE=.\src\sat\bsat\vecRec.h +# End Source File # End Group # Begin Group "proof" |