Implementation of CDCL algorithm using Rust
Primary LanguageRust
Simple SAT Solver using CDCL algorithm.
$ cargo run --release