bcsat 0.1.0

A parser, printer and related utilities for BCSAT (http://users.ics.aalto.fi/tjunttil/bcsat/)
Build #64635 2017-07-11T14:55:53.892766+00:00
# rustc version
rustc 1.19.0-dev (28a93c1f4 2017-05-31)# docs.rs version
cratesfyi 0.4.1 (003e49d 2017-06-08)# build log
Updating registry `https://github.com/rust-lang/crates.io-index`
Downloading bcsat v0.1.0
Fresh libc v0.2.26
Compiling memchr v1.0.1
Running `rustc --crate-name memchr .cargo/registry/src/github.com-1ecc6299db9ec823/memchr-1.0.1/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 --cfg 'feature="libc"' --cfg 'feature="use_std"' -C metadata=33e09285430498a1 -C extra-filename=-33e09285430498a1 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern libc=/home/cratesfyi/cratesfyi/debug/deps/liblibc-d79154671beabd37.rlib --extern-version libc=libc,0.2.26 --cap-lints allow`
Compiling nom v3.1.0
Running `rustc --crate-name nom .cargo/registry/src/github.com-1ecc6299db9ec823/nom-3.1.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 --cfg 'feature="memchr"' --cfg 'feature="default"' --cfg 'feature="stream"' --cfg 'feature="std"' -C metadata=d1bd6f4126a5ca26 -C extra-filename=-d1bd6f4126a5ca26 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern memchr=/home/cratesfyi/cratesfyi/debug/deps/libmemchr-33e09285430498a1.rlib --extern-version memchr=memchr,1.0.1 --cap-lints allow`
Documenting bcsat v0.1.0
Running `rustdoc --crate-name bcsat .cargo/registry/src/github.com-1ecc6299db9ec823/bcsat-0.1.0/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern nom=/home/cratesfyi/cratesfyi/debug/deps/libnom-d1bd6f4126a5ca26.rlib --extern-version nom=nom,3.1.0`
Finished dev [unoptimized + debuginfo] target(s) in 4.42 secs