minisat 0.2.1

MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
Build #123928 2018-10-27T10:51:37.149447+00:00
# rustc version
rustc 1.31.0-nightly (78ff609d7 2018-10-19)
# docs.rs version
cratesfyi 0.6.0 (903ae1f 2018-10-26)

# build log
Updating crates.io index
Downloading crates ...
Downloaded minisat v0.2.1
Fresh version_check v0.1.5
Fresh libc v0.2.43
Fresh cc v1.0.25
Fresh cfg-if v0.1.6
Fresh ucd-util v0.1.1
Fresh glob v0.2.11
Fresh utf8-ranges v1.0.1
Fresh unicode-width v0.1.5
Fresh unicode-xid v0.1.0
Fresh quick-error v1.2.2
Fresh strsim v0.7.0
Fresh vec_map v0.8.1
Fresh bitflags v1.0.4
Fresh termcolor v1.0.4
Fresh ansi_term v0.11.0
Fresh peeking_take_while v0.1.2
Fresh either v1.5.0
Fresh atty v0.2.11
Fresh which v1.0.5
Fresh log v0.4.5
Fresh regex-syntax v0.6.2
Fresh textwrap v0.10.0
Fresh proc-macro2 v0.3.5
Fresh humantime v1.1.1
Fresh itertools v0.7.8
Fresh clap v2.32.0
Fresh quote v0.5.2
Fresh memchr v2.1.0
Fresh lazy_static v1.1.0
Fresh libloading v0.5.0
Fresh aho-corasick v0.6.8
Fresh nom v4.1.1
Fresh thread_local v0.3.6
Fresh clang-sys v0.26.1
Fresh cexpr v0.3.3
Fresh regex v1.0.5
Fresh env_logger v0.5.13
Fresh bindgen v0.42.3
Compiling minisat v0.2.1
Running `rustc --crate-name build_script_build /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/minisat-0.2.1/build.rs --color never --crate-type bin --emit=dep-info,link -C debuginfo=2 -C metadata=926844dfc013c0e8 -C extra-filename=-926844dfc013c0e8 --out-dir /home/cratesfyi/cratesfyi/debug/build/minisat-926844dfc013c0e8 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern bindgen=/home/cratesfyi/cratesfyi/debug/deps/libbindgen-ec4737f3511b5962.rlib --extern cc=/home/cratesfyi/cratesfyi/debug/deps/libcc-18b5397ed74fd0c5.rlib --cap-lints allow -L native=/home/cratesfyi/cratesfyi/debug/build/libloading-4955eac093363ca4/out`
Running `/home/cratesfyi/cratesfyi/debug/build/minisat-926844dfc013c0e8/build-script-build`
Documenting minisat v0.2.1
Running `rustdoc --crate-name minisat /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/minisat-0.2.1/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20181019-1.31.0-nightly-78ff609d7 --extern-html-root-url 'bindgen=https://docs.rs/bindgen/0.42.3' --extern-html-root-url 'cc=https://docs.rs/cc/1.0.25' --extern-html-root-url 'itertools=https://docs.rs/itertools/0.7.8' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern itertools=/home/cratesfyi/cratesfyi/debug/deps/libitertools-b4ee0e78923015fe.rmeta`
Finished dev [unoptimized + debuginfo] target(s) in 7.65s