dimacs 0.2.0

Utilities to parse files in DIMACS .cnf or .sat format which is useful for participating in the DIMACS SAT solver competitions.
Documentation
# Generated by Cargo
# will have compiled files and executables
/target/

# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
# More information here http://doc.crates.io/guide.html#cargotoml-vs-cargolock
Cargo.lock