rustsat 0.7.5

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
Documentation

Build #3652303 2026-06-22 03:04:42

# rustc version rustc 1.98.0-nightly (91fe22da8 2026-06-21)

# docs.rs version docsrs 0.0.0 (886bc7a22b1adc4b387ce1343447fe3af98d9ce5 2026-06-14 )

# build log [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "14ff2b46f1a18b1d85d36eda0bf911fabd473b49953be393287f27211ab7c542" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--features" "_docs" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260621-1.98.0-nightly-91fe22da8\", \"--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}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu" "-Zunstable-options" "-Zrustdoc-scrape-examples", kill_on_drop: false }` [INFO] [stderr] Scraping rustsat v0.7.5 (/opt/rustwide/workdir) [INFO] [stderr] warning: failed to scan example "enumerator" in package `rustsat` for example code usage [INFO] [stderr] Try running with `--verbose` to see the error message. [INFO] [stderr] If an example should not be scanned, then consider adding `doc-scrape-examples = false` to its `[[example]]` definition in Cargo.toml [INFO] [stderr] warning: `rustsat` (example "enumerator") generated 1 warning [INFO] [stderr] Documenting rustsat v0.7.5 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.78s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: proc-macro-error2 v2.0.1 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1` [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/rustsat/index.html [INFO] running `Command { std: "docker" "inspect" "14ff2b46f1a18b1d85d36eda0bf911fabd473b49953be393287f27211ab7c542", kill_on_drop: false }`