rust_sat

my first rust project...implemented a basic DPLL SAT solver

Please pardon my poor Rust style, as this is my first project and I definitely am still learning how to write clean, simple Rust code.

Rust is a language that is both one of the "hardest" languages I've used as well as one of the most beautiful. I am a huge fan of the principles Rust follows regarding memory safety, even if there is a learning curve to it. Iterators feel as natural as python, it is as low level as C, but nearly as safe and clean as a pure functional language.

If you want to run

clone
cargo build
cargo run

testing

you can write tests to stdin when you run the program with the CNF format:

1
2 -3

could be read as

(a) and
(b or not c)