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: about 1 month ago
JSON representation

Experimental minisat SAT solver reimplementation in Rust

• Host: GitHub
• URL: https://github.com/mishun/minisat-rust
• Owner: mishun
• License: other
• Created: 2014-12-01T06:10:11.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2019-08-10T01:03:50.000Z (almost 5 years ago)
• Last Synced: 2024-02-10T12:11:50.892Z (5 months ago)
• Topics: cnf, minisat, np-complete, rust, sat-solver
• Language: Rust
• Size: 9.74 MB
• Stars: 71
• Watchers: 2
• Forks: 6
• Open Issues: 3

Lists

• awesome-rust-formalized-reasoning - minisat-rust - experimental minisat SAT solver. (Projects / Provers and Solvers)