There are no reviews yet. Be the first to send feedback to the community and the maintainers!
cryptominisat
An advanced SAT solvergrainofsalt
Grain of Salt equation generatorminisat_emscripten
MiniSat 2.0 for Empscriptenminisat-v1.14
MiniSat v1.14cryptominisat_web
Onine version of the solversat_competition_2013_sources
SAT Competition 2013 Source Archives3dVis
3dVis by Carsten Sinzlingeling-ala
lingeling-ala SAT solverfuzzsmt
SMT fuzzers by Robert Brummayer and Trevor Hansensat_competition_2014_sources
SAT Competition 2014 Source Archivescominisatps
walksat
sharpsat-td
Copy of SharpSAT-tdpainless-satcomp2020
The painless parallel SAT solver as submitted to the SAT Competition 2020yalsat
yalsat by Armin Biere, improved to add support for large problemsavx1int
AVX version 1 has some integer capabilities (XOR, AND, etc.) This class makes these features easier to usedrat-trim
Marijn Heule's DRAT-TRIM with some modificationsmodel-counting-comp-2022
The binaries and the PDF of the Model Counting Competition of 2022picosat
PicoSAT with makefile that can also installLove Open Source and this site? Check out how you can help us