https://github.com/alexander-nadel/intel_sat_solver
History
Tip revision: 65e90b6aa232eb831024a3cd986305db15d9957f authored by Alexander Nadel on 31 March 2024, 06:12:13 UTC
Fixed a corner-case problem with combining assumptions with collapsed decision levels which could have lead to a crash
Tip revision: 65e90b6
File Mode Size
.gitignore -rw-r--r-- 63 bytes
BasicMemoryUsage.h -rw-r--r-- 1.2 KB
BitArray.hpp -rw-r--r-- 10.7 KB
ColorPrint.h -rw-r--r-- 1.1 KB
Diamond.h -rw-r--r-- 81 bytes
LICENSE -rw-r--r-- 1.1 KB
Main.cc -rw-r--r-- 42.6 KB
Makefile -rw-r--r-- 4.2 KB
README.md -rw-r--r-- 480 bytes
SetInScope.h -rw-r--r-- 2.2 KB
TableBitInfo.hpp -rw-r--r-- 14.6 KB
TimeMeasure.h -rw-r--r-- 4.2 KB
Topi.cc -rw-r--r-- 50.9 KB
Topi.hpp -rw-r--r-- 139.4 KB
TopiAsg.cc -rw-r--r-- 10.4 KB
TopiBacktrack.cc -rw-r--r-- 1.8 KB
TopiBcp.cc -rw-r--r-- 32.1 KB
TopiBitCompression.cc -rw-r--r-- 9.0 KB
TopiCompression.cc -rw-r--r-- 47.2 KB
TopiConflictAnalysis.cc -rw-r--r-- 46.8 KB
TopiDebugPrinting.cc -rw-r--r-- 6.7 KB
TopiDecision.cc -rw-r--r-- 6.1 KB
TopiGlobal.hpp -rw-r--r-- 5.0 KB
TopiHandleNewUserCls.hpp -rw-r--r-- 2.0 KB
TopiInprocess.cc -rw-r--r-- 3.6 KB
TopiParams.hpp -rw-r--r-- 10.1 KB
TopiRestart.cc -rw-r--r-- 7.0 KB
TopiStatistics.hpp -rw-r--r-- 15.1 KB
TopiVarScores.hpp -rw-r--r-- 6.0 KB
TopiWL.cc -rw-r--r-- 21.6 KB
Topor.cc -rw-r--r-- 7.4 KB
Topor.hpp -rw-r--r-- 6.7 KB
ToporBitArray.hpp -rw-r--r-- 3.8 KB
ToporBitArrayBuffer.hpp -rw-r--r-- 13.0 KB
ToporDynArray.hpp -rw-r--r-- 11.0 KB
ToporExternalTypes.hpp -rw-r--r-- 3.1 KB
ToporIpasir.cc -rw-r--r-- 3.6 KB
ToporIpasir.h -rw-r--r-- 9.3 KB
ToporTableBitInfo.hpp -rw-r--r-- 19.2 KB
ToporVector.hpp -rw-r--r-- 3.5 KB
ToporWinAverage.hpp -rw-r--r-- 1.3 KB
topor.sln -rwxr-xr-x 1.4 KB
topor.vcxproj -rwxr-xr-x 6.8 KB
topor.vcxproj.filters -rwxr-xr-x 3.6 KB
topor.vcxproj.user -rwxr-xr-x 168 bytes

README.md

back to top