minisat topic

A (parametrized) Rust SAT solver originally based on MiniSat

c-cube

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

c-cube

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

sarsko

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

touist

A Header-Only CDCL SAT Solver for Programming Contest

togatoga

Experimental minisat SAT solver reimplementation in Rust

mishun

A Python API for the MiniSat and MiniCard constraint solvers.

liffiton

Faithful reimplementation of Minisat 2.2 in OCaml.

imandra-ai

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

Kapilhk