An advanced SAT solver

Simple Theorem Prover, an efficient SMT solver for bitvectors

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

CNF minimizer and minimal independent set minimizer

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.

BreakID, a CNF symmetry-breaking library and tool

CNF to d-DNNF compiler

Structured BVA CNF rewriter

CMSGen, a fast weighted uniform-like sampler

SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)

Compile MiniSat to WebAssembly using emscripten

GaussMaxHS, a CNF+XOR MaxSAT solver

3-SAT CNF file generator

Windows builds for The Glucose SAT Solver.

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm

COP6726 - Database System Implementation - Database From Scratch

Hydra is the development repository for the Bella knowledge compiler and the Cara #SAT solver

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.

DB implementation - Heap file, Sorted file, RelOps, Query Engine - systems programming

SAT Solver - Local Search and Bitwise optimization for university thesis in computer engineering