minisat-rust Experimental minisat SAT solver reimplementation in Rust Original solver links: https://github.com/niklasso/minisat http://minisat.se/