Mate Soos

cryptominisat. An advanced SAT solver

cnf-utils. Dimacs CNF utilities

grainofsalt. Grain of Salt equation generator

minisat_emscripten. MiniSat 2.0 for Empscripten

minisat-v1.14. MiniSat v1.14

walksat. C++

sha1-sat. SAT instance generator for SHA-1

cryptominisat_web. Onine version of the solver

minisat. A minimalistic and high-performance SAT solver

lingeling-ala. lingeling-ala SAT solver

picosat. PicoSAT with makefile that can also install

yalsat. yalsat by Armin Biere, improved to add support for large problems

sat_competition_2013_sources. SAT Competition 2013 Source Archives

3dVis. 3dVis by Carsten Sinz

fuzzsmt. SMT fuzzers by Robert Brummayer and Trevor Hansen

degate. Open source software for chip reverse engineering.

cominisatps. C++

cryptominisat_build. Build scripts for cryptominisat

model-counting-comp-2022. The binaries and the PDF of the Model Counting Competition of 2022

painless-satcomp2020. The painless parallel SAT solver as submitted to the SAT Competition 2020

amdmiscompile. AMD OpenCL miscompilation bug

sha256-sat-bitcoin. SHA256-SAT-BITCOIN

drat-trim. Marijn Heule's DRAT-TRIM with some modifications

avx1int. AVX version 1 has some integer capabilities (XOR, AND, etc.) This class makes these features easier to use

cgen. CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

func-synthesis-presentation. Presentation on Functional Synthesis

sharpsat-td. Copy of SharpSAT-td

OutputCheck. A tool for checking tool output inspired by LLVM's FileCheck

sat_competition_2014_sources. SAT Competition 2014 Source Archives

Maple_LCM_Dist. Maple_LCM_Dist as per SAT Competition 2017

minicard. MiniCard: An efficient cardinality solver based on MiniSAT

glucose2016. Glucose SAT Solver entry to SAT Competition 2016