This is the Rust template for the SAT preprocessor exercise.
If you have any suggestions or find some bugs, pull requests are welcome!
cargo run -- [OPTIONS] [CNF PATH] [OUT PATH]
Since simplification is not implemented now, all tests will fail.
cargo test
cargo run --features "logging" -- [OPTIONS] [CNF PATH] [OUT PATH]