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: 6 months 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 (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2019-08-10T01:03:50.000Z (about 6 years ago)
• Last Synced: 2024-05-22T19:31:58.007Z (over 1 year ago)
• Topics: cnf, minisat, np-complete, rust, sat-solver
• Language: Rust
• Size: 9.74 MB
• Stars: 71
• Watchers: 2
• Forks: 6
• Open Issues: 3

Awesome Lists containing this project

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