https://github.com/shinkwhek/SATsolver

SAT solver written in Rust.
https://github.com/shinkwhek/SATsolver

rust sat-solver

Last synced: 3 months ago
JSON representation

SAT solver written in Rust.

• Host: GitHub
• URL: https://github.com/shinkwhek/SATsolver
• Owner: shinkwhek
• License: mit
• Created: 2018-03-17T13:17:50.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-08-14T06:58:41.000Z (about 6 years ago)
• Last Synced: 2024-05-22T19:32:22.016Z (6 months ago)
• Topics: rust, sat-solver
• Language: Rust
• Size: 22.5 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

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

README

        
# SAT solver

This is a SAT solver written in Rust.



## usage

see help `cargo run`

```

$ cargo run 

```