spicy-sat-solver A SAT solver with added spice. How to use Install cargo with rustup and run with cargo run --release [DIMACS file]