This is a SAT solver written in Rust. Currently it only implements the very basic DPLL algorithm, but I plan to add more!
cargo run benchmarks/sample.cnfcargo testmkutay/hajnal
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a SAT solver written in Rust. Currently it only implements the very basic DPLL algorithm, but I plan to add more!
cargo run benchmarks/sample.cnfcargo test