dimacs 0.1.0

Utilities to parse files in DIMACS .cnf or .sat format which is useful for participating in the DIMACS SAT solver competitions.
Documentation
Build #43506 2017-03-05T23:11:23.818873+00:00
# rustc version
rustc 1.17.0-nightly (0f34b532a 2017-02-21)
# docs.rs version
cratesfyi 0.3.1 (35080d4 2017-01-24)

# build log
Updating registry `https://github.com/rust-lang/crates.io-index`
Downloading dimacs v0.1.0
Compiling bitflags v0.8.0
Running `rustc --crate-name bitflags .cargo/registry/src/github.com-1ecc6299db9ec823/bitflags-0.8.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=88857433f6b67df9 -C extra-filename=-88857433f6b67df9 --out-dir /home/cratesfyi/dimacs-0.1.0/debug/deps -L dependency=/home/cratesfyi/dimacs-0.1.0/debug/deps --cap-lints allow`
Documenting dimacs v0.1.0
Running `rustdoc --crate-name dimacs .cargo/registry/src/github.com-1ecc6299db9ec823/dimacs-0.1.0/src/lib.rs -o /home/cratesfyi/dimacs-0.1.0/doc -L dependency=/home/cratesfyi/dimacs-0.1.0/debug/deps --extern bitflags=/home/cratesfyi/dimacs-0.1.0/debug/deps/libbitflags-88857433f6b67df9.rlib`
Finished dev [unoptimized + debuginfo] target(s) in 0.98 secs