diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-13 10:02:28 +0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-13 10:02:28 +0800 |
commit | 81af996fee2626daf45936e892ab34f26bea2ada (patch) | |
tree | 3d4420f88a194b53e3e4fe3c9f16213d3573a010 /abclib.dsp | |
parent | 5351ab4b13aa46db5710ca3ffe659e8e691ba126 (diff) | |
download | abc-81af996fee2626daf45936e892ab34f26bea2ada.tar.gz abc-81af996fee2626daf45936e892ab34f26bea2ada.tar.bz2 abc-81af996fee2626daf45936e892ab34f26bea2ada.zip |
Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 48 |
1 files changed, 48 insertions, 0 deletions
@@ -1938,6 +1938,54 @@ SOURCE=.\src\sat\bmc\bmcUnroll.c # PROP Default_Filter "" # End Group +# Begin Group "xsat" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\sat\xsat\xsat.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatBQueue.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatClause.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatCnfReader.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatHeap.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatMemory.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatSolver.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatSolver.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatSolverAPI.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatUtils.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatWatchList.h +# End Source File +# End Group # End Group # Begin Group "opt" |