splr 0.1.3

A pure rustic CDCL SAT solver based on Glucose
Documentation
Build #158705 2019-05-08T12:42:09.668499+00:00
# rustc version
rustc 1.36.0-nightly (d628c2e64 2019-05-05)
# docs.rs version
cratesfyi 0.6.0 (be80566 2019-05-06)

# build log
Updating crates.io index
Downloading crates ...
Downloaded splr v0.1.3
Fresh unicode-xid v0.1.0
Fresh unicode-segmentation v1.2.1
Fresh unicode-width v0.1.5
Fresh bitflags v1.0.4
Fresh strsim v0.8.0
Fresh ansi_term v0.11.0
Fresh vec_map v0.8.1
Checking copyless v0.1.2
Fresh textwrap v0.11.0
Fresh heck v0.3.1
Running `rustc --edition=2018 --crate-name copyless /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/copyless-0.1.2/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 -C metadata=0d06ccbb1fb0ca85 -C extra-filename=-0d06ccbb1fb0ca85 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --cap-lints allow`
Fresh proc-macro2 v0.4.29
Fresh libc v0.2.54
Fresh quote v0.6.12
Fresh atty v0.2.11
Fresh syn v0.15.34
Fresh clap v2.33.0
Compiling structopt-derive v0.2.15
Running `rustc --crate-name structopt_derive /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/structopt-derive-0.2.15/src/lib.rs --color never --crate-type proc-macro --emit=dep-info,link -C prefer-dynamic -C debuginfo=2 -C metadata=5f93a7f9984430fa -C extra-filename=-5f93a7f9984430fa --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern heck=/home/cratesfyi/cratesfyi/debug/deps/libheck-003b20616ba9b7ab.rlib --extern proc_macro2=/home/cratesfyi/cratesfyi/debug/deps/libproc_macro2-438a16a01221dc17.rlib --extern quote=/home/cratesfyi/cratesfyi/debug/deps/libquote-6673fbad5bb053c8.rlib --extern syn=/home/cratesfyi/cratesfyi/debug/deps/libsyn-cfafab848a8505c7.rlib --cap-lints allow`
Checking structopt v0.2.15
Running `rustc --crate-name structopt /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/structopt-0.2.15/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 --cfg 'feature="clap"' --cfg 'feature="default"' -C metadata=5212fd730088dea0 -C extra-filename=-5212fd730088dea0 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern clap=/home/cratesfyi/cratesfyi/debug/deps/libclap-716f2b6086e3ca70.rmeta --extern structopt_derive=/home/cratesfyi/cratesfyi/debug/deps/libstructopt_derive-5f93a7f9984430fa.so --cap-lints allow`
Documenting splr v0.1.3
Running `rustdoc --edition=2018 --crate-name splr /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/splr-0.1.3/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20190505-1.36.0-nightly-d628c2e64 --static-root-path / --disable-per-crate-search --extern-html-root-url 'bitflags=https://docs.rs/bitflags/1.0.4' --extern-html-root-url 'copyless=https://docs.rs/copyless/0.1.2' --extern-html-root-url 'libc=https://docs.rs/libc/0.2.54' --extern-html-root-url 'structopt=https://docs.rs/structopt/0.2.15' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern bitflags=/home/cratesfyi/cratesfyi/debug/deps/libbitflags-bf52000828d661f1.rmeta --extern copyless=/home/cratesfyi/cratesfyi/debug/deps/libcopyless-0d06ccbb1fb0ca85.rmeta --extern libc=/home/cratesfyi/cratesfyi/debug/deps/liblibc-20d348b9830dae9c.rmeta --extern structopt=/home/cratesfyi/cratesfyi/debug/deps/libstructopt-5212fd730088dea0.rmeta`
Finished dev [unoptimized + debuginfo] target(s) in 7.69s