Tag: SAT Race
-
CryptoMiniSat 5.8.0 Released
After many months of work, CryptoMiniSat 5.8.0 has been released. In this post I’ll go through the most important changes, and how they helped the solver to be faster and win a few awards, among them 1st place at the SAT incremental track, 3rd place SAT Main track, and 2nd&3d place in the SMT BitVector […]
-
Final polish of my SAT competition entry
[wpdm_file id=2] UPDATE: Fixed crash, UPDATE2: fixed looking for Gaussian elimination library In the last days of the competition deadline, I have improved the following on the SAT solver: Adding N new variables is now possible in one go. This reduces variable addition overhead, especially when having many threads. Memory allocation overhead per new clause […]
-
My SAT Competition 2014 entry
[wpdm_file id=2] In case you want to download my SAT competition 2014 zipfile, you can do it now. You can port the changes that you added to CryptoMiniSatv4 — it should work out of the box. Nothing really important changed except some timeout fixes, bug fixes, threading, and fixing DRAT. Unfortunately the SAT Competition’14 setup […]
-
CryptoMiniSat 4 released
[wpdm_file id=1] CryptoMiniSat 4 is now available for download. This version brings a number of substantial improvements and picks up speed to be as good as the best solvers out there. It now has a much improved library interface as well as a simple but powerful python interface. SAT Competition 2014 This release is made […]
-
CryptoMiniSat 3.2.0 released
CyptoMinSat 3.2.0 has been released. This code should be extremely stable and should contain no bugs. In case it does, CryptoMiniSat will fail quite bady at the competition. I have fuzzed the solver for about 2-3000 CPU hours, with some sophisticated fuzzers (all available here — most of them not mine) so all should be […]