Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/mishun/minisat-rust

Experimental minisat SAT solver reimplementation in Rust
https://github.com/mishun/minisat-rust

cnf minisat np-complete rust sat-solver

Last synced: 3 months ago
JSON representation

Experimental minisat SAT solver reimplementation in Rust

Awesome Lists containing this project