SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
-
Updated
May 25, 2023 - C++
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Boolean satisfiability problem (SAT), maximum satisfiability problem (MAX-SAT) etc
Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem
Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic
Add a description, image, and links to the boolean-satisfiability topic page so that developers can more easily learn about it.
To associate your repository with the boolean-satisfiability topic, visit your repo's landing page and select "manage topics."