splr 0.2.1

A pure rustic CDCL SAT solver based on Glucose
Documentation
Build #206013 2019-12-16T23:50:38.690721+00:00
# rustc version
rustc 1.41.0-nightly (a605441e0 2019-12-15)
# docs.rs version
docsrs 0.6.0 (dceee29 2019-12-13)

# build log
[INFO] running `"docker" "create" "-v" "/home/cratesfyi/workspace/builds/splr-0.2.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/splr-0.2.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1001" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --resource-suffix -20191215-1.41.0-nightly-a605441e0 --static-root-path / --extern-html-root-url structopt=https://docs.rs/structopt/0.3.5 --extern-html-root-url bitflags=https://docs.rs/bitflags/1.2.1 --extern-html-root-url copyless=https://docs.rs/copyless/0.1.4 --extern-html-root-url libc=https://docs.rs/libc/0.2.66" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "doc" "--lib" "--no-deps"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 853dbe99fc8604c5ea3a22da0eabc3165de8cc761ae00c2ac0c9434e2d197e81
[INFO] running `"docker" "start" "-a" "853dbe99fc8604c5ea3a22da0eabc3165de8cc761ae00c2ac0c9434e2d197e81"`
[INFO] [stderr]    Compiling proc-macro2 v1.0.6
[INFO] [stderr]    Compiling unicode-xid v0.2.0
[INFO] [stderr]    Compiling syn v1.0.11
[INFO] [stderr]    Compiling libc v0.2.66
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]     Checking unicode-width v0.1.7
[INFO] [stderr]    Compiling unicode-segmentation v1.6.0
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking vec_map v0.8.1
[INFO] [stderr]     Checking copyless v0.1.4
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]    Compiling heck v0.3.1
[INFO] [stderr]    Compiling quote v1.0.2
[INFO] [stderr]     Checking atty v0.2.13
[INFO] [stderr]     Checking clap v2.33.0
[INFO] [stderr]    Compiling proc-macro-error v0.2.6
[INFO] [stderr]    Compiling structopt-derive v0.3.5
[INFO] [stderr]     Checking structopt v0.3.5
[INFO] [stderr]  Documenting splr v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 16.39s
[INFO] running `"docker" "inspect" "853dbe99fc8604c5ea3a22da0eabc3165de8cc761ae00c2ac0c9434e2d197e81"`
[INFO] running `"docker" "rm" "-f" "853dbe99fc8604c5ea3a22da0eabc3165de8cc761ae00c2ac0c9434e2d197e81"`
[INFO] [stdout] 853dbe99fc8604c5ea3a22da0eabc3165de8cc761ae00c2ac0c9434e2d197e81