swh:1:snp:89976ddc52596c0785f7d480445e965e5bd39751
Revision 2dbe088701a7562fae622a8dc15e977c3c48dbea authored by Alexander Nadel on 31 May 2022, 07:44:05 UTC, committed by Alexander Nadel on 31 May 2022, 07:44:05 UTC
1 parent 7ae1082
Tip revision: 8a99f85649d80d06a6dddd61e1be5d38eac81997 authored by Alexander Nadel on 17 May 2023, 06:42:21 UTC
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
Tip revision: 8a99f85
File | Mode | Size |
---|---|---|
BasicMemoryUsage.h | -rw-r--r-- | 1.2 KB |
BitArray.hpp | -rw-r--r-- | 10.7 KB |
ColorPrint.h | -rw-r--r-- | 1.0 KB |
Diamond.h | -rw-r--r-- | 81 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
Main.cc | -rw-r--r-- | 25.2 KB |
Makefile | -rw-r--r-- | 3.2 KB |
README.md | -rw-r--r-- | 492 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-- | 39.3 KB |
Topi.hpp | -rw-r--r-- | 78.0 KB |
TopiAsg.cc | -rw-r--r-- | 8.9 KB |
TopiBacktrack.cc | -rw-r--r-- | 1.4 KB |
TopiBcp.cc | -rw-r--r-- | 35.7 KB |
TopiCompression.cc | -rw-r--r-- | 42.7 KB |
TopiConflictAnalysis.cc | -rw-r--r-- | 43.8 KB |
TopiDebugPrinting.cc | -rw-r--r-- | 6.5 KB |
TopiDecision.cc | -rw-r--r-- | 4.5 KB |
TopiGlobal.hpp | -rw-r--r-- | 5.0 KB |
TopiHandleNewUserCls.hpp | -rw-r--r-- | 2.0 KB |
TopiParams.hpp | -rw-r--r-- | 10.1 KB |
TopiRestart.cc | -rw-r--r-- | 6.5 KB |
TopiVarScores.hpp | -rw-r--r-- | 5.8 KB |
TopiWL.cc | -rw-r--r-- | 19.8 KB |
Topor.cc | -rw-r--r-- | 3.0 KB |
Topor.hpp | -rw-r--r-- | 4.4 KB |
ToporDynArray.hpp | -rw-r--r-- | 10.0 KB |
ToporExternalTypes.hpp | -rw-r--r-- | 18.1 KB |
ToporIpasir.cc | -rw-r--r-- | 3.6 KB |
ToporIpasir.h | -rw-r--r-- | 9.3 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 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...