minisat

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

A Header-Only CDCL SAT Solver for Programming Contest

Experimental minisat SAT solver reimplementation in Rust

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

A Python API for the MiniSat and MiniCard constraint solvers.

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

OCaml bindings to Minisat

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-based generator for Alcazar puzzles

🗿 SAT solver wrappers for Kotlin

Windows builds for The Glucose SAT Solver.

Subgraph isomorphism using SAT Solving

Compile MiniSat to WebAssembly using emscripten

A SAT-based forward/backwards solver for Conway's "Game of Life".

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

Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay

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