minisat 0.3.3

MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
Build #128102 2018-11-21T10:15:43.126043+00:00
# rustc version
rustc 1.32.0-nightly (6b9b97bd9 2018-11-15)
# docs.rs version
cratesfyi 0.6.0 (084f762 2018-11-13)

# build log
Updating crates.io index
Downloading crates ...
Downloaded minisat v0.3.3
Fresh version_check v0.1.5
Fresh libc v0.2.43
Fresh cfg-if v0.1.6
Fresh cc v1.0.25
Fresh glob v0.2.11
Fresh lazy_static v1.2.0
Fresh ucd-util v0.1.3
Fresh unicode-width v0.1.5
Fresh utf8-ranges v1.0.2
Fresh quick-error v1.2.2
Fresh unicode-xid v0.1.0
Fresh termcolor v1.0.4
Fresh strsim v0.7.0
Fresh bitflags v1.0.4
Fresh vec_map v0.8.1
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.6
Fresh thread_local v0.3.6
Fresh regex-syntax v0.6.3
Fresh textwrap v0.10.0
Fresh humantime v1.1.1
Fresh proc-macro2 v0.3.5
Fresh itertools v0.7.9
Fresh clap v2.32.0
Fresh quote v0.5.2
Fresh memchr v2.1.1
Fresh libloading v0.5.0
Fresh aho-corasick v0.6.9
Fresh nom v4.1.1
Fresh clang-sys v0.26.3
Fresh regex v1.0.6
Fresh cexpr v0.3.3
Fresh env_logger v0.5.13
Fresh bindgen v0.42.3
Compiling minisat v0.3.3
Running `rustc --crate-name build_script_build /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/minisat-0.3.3/build.rs --color never --crate-type bin --emit=dep-info,link -C debuginfo=2 -C metadata=193afdfb39999118 -C extra-filename=-193afdfb39999118 --out-dir /home/cratesfyi/cratesfyi/debug/build/minisat-193afdfb39999118 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern bindgen=/home/cratesfyi/cratesfyi/debug/deps/libbindgen-a55718b98f0889b8.rlib --extern cc=/home/cratesfyi/cratesfyi/debug/deps/libcc-f75ad2a514e6b460.rlib --cap-lints allow -L native=/home/cratesfyi/cratesfyi/debug/build/libloading-3ee5a9c6ce7d45ce/out`
Running `/home/cratesfyi/cratesfyi/debug/build/minisat-193afdfb39999118/build-script-build`
Documenting minisat v0.3.3
Running `rustdoc --crate-name minisat /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/minisat-0.3.3/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20181115-1.32.0-nightly-6b9b97bd9 --extern-html-root-url 'cc=https://docs.rs/cc/1.0.25' --extern-html-root-url 'quickcheck=https://docs.rs/quickcheck/0.7.2' --extern-html-root-url 'bindgen=https://docs.rs/bindgen/0.42.3' --extern-html-root-url 'itertools=https://docs.rs/itertools/0.7.9' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern itertools=/home/cratesfyi/cratesfyi/debug/deps/libitertools-fb16bc624a460f91.rmeta`
Finished dev [unoptimized + debuginfo] target(s) in 10.23s