dpll-algorithm

Here are 2 public repositories matching this topic...

erohkohl / n-queens-sat

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.

rust tdd constraint-satisfaction-problem rust-lang constraint-programming sat-solver n-queens dpll-algorithm

Updated Jul 20, 2017
Rust

snsinfu / dpll-sat

Star

Naïve SAT solver implementing the classic DPLL algorithm

learning sat-solver dpll-algorithm

Updated Apr 13, 2021
Rust

Add this topic to your repo

To associate your repository with the dpll-algorithm topic, visit your repo's landing page and select "manage topics."

Learn more