Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification
Last synced: 22 May 2024
![](https://github.com/sarsko.png)
https://github.com/c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
drat minisat proof-generating rust sat-solver sat-solver-bindings
Last synced: 22 May 2024
![](https://github.com/c-cube.png)
https://github.com/mishun/minisat-rust
Experimental minisat SAT solver reimplementation in Rust
cnf minisat np-complete rust sat-solver
Last synced: 22 May 2024
![](https://github.com/mishun.png)