A (parametrized) Rust SAT solver originally based on MiniSat
-
Updated
May 5, 2026 - Rust
#
drat
Here are 3 public repositories matching this topic...
An almost-efficient implementation of a DRAT proof checker for validating unsatisfiability proofs of SAT instances in Rust.
-
Updated
Mar 13, 2026 - Rust
Independent forward checker for DRAT and LRAT unsatisfiability proofs, in Rust with no dependencies, plus a browser playground where the files never leave the tab.
-
Updated
Sep 14, 2026 - Rust
Add this topic to your repo
To associate your repository with the drat topic, visit your repo's landing page and select "manage topics."