Experimental minisat SAT solver reimplementation in Rust
-
Updated
Aug 10, 2019 - Rust
Experimental minisat SAT solver reimplementation in Rust
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
Add a description, image, and links to the cnf topic page so that developers can more easily learn about it.
To associate your repository with the cnf topic, visit your repo's landing page and select "manage topics."