CreuSAT - A formally verified SAT solver written in Rust and verified wi...
Experimental minisat SAT solver reimplementation in Rust
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
A Header-Only CDCL SAT Solver for Programming Contest
Faithful reimplementation of Minisat 2.2 in OCaml.
A (parametrized) Rust SAT solver originally based on MiniSat