CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Experimental minisat SAT solver reimplementation in Rust

A Header-Only CDCL SAT Solver for Programming Contest

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Faithful reimplementation of Minisat 2.2 in OCaml.

A (parametrized) Rust SAT solver originally based on MiniSat

SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay

A Python API for the MiniSat and MiniCard constraint solvers.

OCaml bindings to Minisat

SAT-based generator for Alcazar puzzles

OCaml bindings for batsat (https://github.com/c-cube/batsat)

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

🗿 SAT solver wrappers for Kotlin

Windows builds for The Glucose SAT Solver.

Subgraph isomorphism using SAT Solving

Compile MiniSat to WebAssembly using emscripten

A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.

Decision Table-Based Testing

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone

This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang