debug_sat 0.4.0

A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
Documentation
Build #2393021 2025-08-08 14:20:26

# rustc version rustc 1.91.0-nightly (2fd855fbf 2025-08-07)

# docs.rs version docsrs 0.6.0 (e18d034e 2025-07-29)

# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/debug_sat-0.4.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/debug_sat-0.4.0/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ae6f63d130afcfff7f91f5ba9fdb2a74d52830289c6a2ea2d23a94dcfb480a0d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250807-1.91.0-nightly-2fd855fbf\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/i686-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "i686-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 089c886915d467dd274991e4a07f91562f89c5dd9d1d7e5218bb7af6833025e4 [INFO] running `Command { std: "docker" "start" "-a" "089c886915d467dd274991e4a07f91562f89c5dd9d1d7e5218bb7af6833025e4", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting debug_sat v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.31s [INFO] [stderr] Generated /opt/rustwide/target/i686-unknown-linux-gnu/doc/debug_sat/index.html [INFO] running `Command { std: "docker" "inspect" "089c886915d467dd274991e4a07f91562f89c5dd9d1d7e5218bb7af6833025e4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "089c886915d467dd274991e4a07f91562f89c5dd9d1d7e5218bb7af6833025e4", kill_on_drop: false }` [INFO] [stdout] 089c886915d467dd274991e4a07f91562f89c5dd9d1d7e5218bb7af6833025e4