https://github.com/alexander-nadel/intel_sat_solver
Tip revision: de1582f5b5875a7f124ffc01cd97b2e5c0ec9e79 authored by Alexander Nadel on 23 June 2024, 09:48:40 UTC
Fixed a bug in assumption handling which could cause an internal error state in some rare corner-cases
Fixed a bug in assumption handling which could cause an internal error state in some rare corner-cases
Tip revision: de1582f
| 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-- | 51.0 KB |
| Topi.hpp | -rw-r--r-- | 140.8 KB |
| TopiAsg.cc | -rw-r--r-- | 10.4 KB |
| TopiBacktrack.cc | -rw-r--r-- | 1.8 KB |
| TopiBcp.cc | -rw-r--r-- | 32.4 KB |
| TopiBitCompression.cc | -rw-r--r-- | 9.0 KB |
| TopiCompression.cc | -rw-r--r-- | 48.1 KB |
| TopiConflictAnalysis.cc | -rw-r--r-- | 47.1 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.6 KB |
| Topor.hpp | -rw-r--r-- | 6.8 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 |
