https://github.com/michaelbeaumont/rust-sat

SAT solving with Rust
https://github.com/michaelbeaumont/rust-sat

rust sat sat-solver

Last synced: about 1 month ago
JSON representation

SAT solving with Rust

• Host: GitHub
• URL: https://github.com/michaelbeaumont/rust-sat
• Owner: michaelbeaumont
• License: mit
• Created: 2014-11-26T21:28:03.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2022-06-06T18:24:00.000Z (about 2 years ago)
• Last Synced: 2024-02-11T12:12:23.223Z (5 months ago)
• Topics: rust, sat, sat-solver
• Language: Rust
• Homepage:
• Size: 52.7 KB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - rust-sat - SAT solver that accepts input in the DIMACS CNF file format. (Projects / Provers and Solvers)

README

        
rust-sat

========

A SAT solver that accepts input in the DIMACS CNF file format. There are three different types of solvers. One that uses naive, chronological backtracking, one that uses watch lists and a final one that does non-chronological backtracking.

```

Usage: rust-sat [--solver TYPE] 

       rust-sat --help

Options:

    --solver TYPE  Valid values: naive, watch, nonchro.

    --help         Show this message.

```