[INFO] fetching crate rustsat 0.6.1...
[INFO] checking rustsat-0.6.1 against try#31561a63598a0f21fc74c024747ef1310fdd2eb2 for pr-133536
[INFO] extracting crate rustsat 0.6.1 into /workspace/builds/worker-1-tc2/source
[INFO] validating manifest of crates.io crate rustsat 0.6.1 on toolchain 31561a63598a0f21fc74c024747ef1310fdd2eb2
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-1-tc2/source/rust-toolchain.toml
[INFO] started tweaking crates.io crate rustsat 0.6.1
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate rustsat 0.6.1
[INFO] tweaked toml for crates.io crate rustsat 0.6.1 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] crate crates.io crate rustsat 0.6.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 367f22d30e37e30df73003ff02e99c15ef81afd77b95bd2ad3c6c07911f6063b
[INFO] running `Command { std: "docker" "start" "-a" "367f22d30e37e30df73003ff02e99c15ef81afd77b95bd2ad3c6c07911f6063b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "367f22d30e37e30df73003ff02e99c15ef81afd77b95bd2ad3c6c07911f6063b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "367f22d30e37e30df73003ff02e99c15ef81afd77b95bd2ad3c6c07911f6063b", kill_on_drop: false }`
[INFO] [stdout] 367f22d30e37e30df73003ff02e99c15ef81afd77b95bd2ad3c6c07911f6063b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 91b211ef96cd41dc9476997daa3679579a801888d86f91a624ef233b4ad2bb55
[INFO] running `Command { std: "docker" "start" "-a" "91b211ef96cd41dc9476997daa3679579a801888d86f91a624ef233b4ad2bb55", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.87
[INFO] [stderr]    Compiling rustix v0.38.37
[INFO] [stderr]    Compiling libc v0.2.159
[INFO] [stderr]    Compiling thiserror v1.0.64
[INFO] [stderr]    Compiling anyhow v1.0.89
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking fastrand v2.1.1
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]     Checking cpu-time v1.0.0
[INFO] [stderr]    Compiling syn v2.0.79
[INFO] [stderr]     Checking tempfile v3.13.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.64
[INFO] [stderr]    Compiling visibility v0.1.1
[INFO] [stderr]     Checking rustsat v0.6.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `rustsat_tools`
[INFO] [stdout]   --> tests/cnf.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use rustsat_tools::{test_all, test_assignment};
[INFO] [stdout]    |     ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rustsat_tools`
[INFO] [stdout]    --> tests/card_encodings.rs:282:5
[INFO] [stdout]     |
[INFO] [stdout] 282 | use rustsat_tools::{test_all, test_assignment};
[INFO] [stdout]     |     ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rustsat_tools`
[INFO] [stdout]   --> tests/am1_encodings.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use rustsat_tools::{test_all, test_assignment};
[INFO] [stdout]    |     ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout]    --> tests/external_solver.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout] 101 |     rustsat_solvertests::base_tests!(
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rustsat_tools`
[INFO] [stdout]    --> tests/pb_encodings.rs:285:5
[INFO] [stdout]     |
[INFO] [stdout] 285 | use rustsat_tools::{test_all, test_assignment};
[INFO] [stdout]     |     ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout]   --> tests/external_solver.rs:79:5
[INFO] [stdout]    |
[INFO] [stdout] 79 |     rustsat_solvertests::base_tests!(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout]   --> tests/external_solver.rs:57:5
[INFO] [stdout]    |
[INFO] [stdout] 57 |     rustsat_solvertests::base_tests!(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout]   --> tests/external_solver.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     rustsat_solvertests::base_tests!(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rustsat_tools`
[INFO] [stdout]    --> tests/pb_encodings.rs:440:9
[INFO] [stdout]     |
[INFO] [stdout] 440 |     use rustsat_tools::{test_all, test_assignment};
[INFO] [stdout]     |         ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout]  --> tests/external_solver.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     rustsat_solvertests::base_tests!(
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_solvertests`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExternalSolver` and `external`
[INFO] [stdout]  --> tests/external_solver.rs:2:28
[INFO] [stdout]   |
[INFO] [stdout] 2 |     use rustsat::solvers::{external, ExternalSolver};
[INFO] [stdout]   |                            ^^^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::process::Command`
[INFO] [stdout]  --> tests/external_solver.rs:3:9
[INFO] [stdout]   |
[INFO] [stdout] 3 |     use std::process::Command;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExternalSolver` and `external`
[INFO] [stdout]   --> tests/external_solver.rs:29:28
[INFO] [stdout]    |
[INFO] [stdout] 29 |     use rustsat::solvers::{external, ExternalSolver};
[INFO] [stdout]    |                            ^^^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::process::Command`
[INFO] [stdout]   --> tests/external_solver.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |     use std::process::Command;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExternalSolver` and `external`
[INFO] [stdout]   --> tests/external_solver.rs:54:28
[INFO] [stdout]    |
[INFO] [stdout] 54 |     use rustsat::solvers::{external, ExternalSolver};
[INFO] [stdout]    |                            ^^^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::process::Command`
[INFO] [stdout]   --> tests/external_solver.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |     use std::process::Command;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExternalSolver` and `external`
[INFO] [stdout]   --> tests/external_solver.rs:76:28
[INFO] [stdout]    |
[INFO] [stdout] 76 |     use rustsat::solvers::{external, ExternalSolver};
[INFO] [stdout]    |                            ^^^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::process::Command`
[INFO] [stdout]   --> tests/external_solver.rs:77:9
[INFO] [stdout]    |
[INFO] [stdout] 77 |     use std::process::Command;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExternalSolver` and `external`
[INFO] [stdout]   --> tests/external_solver.rs:98:28
[INFO] [stdout]    |
[INFO] [stdout] 98 |     use rustsat::solvers::{external, ExternalSolver};
[INFO] [stdout]    |                            ^^^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::process::Command`
[INFO] [stdout]   --> tests/external_solver.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     use std::process::Command;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/cnf.rs:16:22
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/card_encodings.rs:19:22
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/cnf.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/pb_encodings.rs:23:22
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/card_encodings.rs:89:22
[INFO] [stdout]    |
[INFO] [stdout] 89 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/am1_encodings.rs:16:22
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/cnf.rs:39:22
[INFO] [stdout]    |
[INFO] [stdout] 39 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (test "external_solver") due to 5 previous errors; 10 warnings emitted
[INFO] [stdout] error[E0432]: unresolved import `rustsat::instances::MultiOptInstance`
[INFO] [stdout]   --> tests/opb.rs:6:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | use rustsat::instances::MultiOptInstance;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^----------------
[INFO] [stdout]    |     |                   |
[INFO] [stdout]    |     |                   help: a similar name exists in the module: `OptInstance`
[INFO] [stdout]    |     no `MultiOptInstance` in `instances`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/instances.rs:27:19
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use multiopt::MultiOptInstance;
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated behind the `multiopt` feature
[INFO] [stdout]   --> /opt/rustwide/workdir/src/instances.rs:26:7
[INFO] [stdout]    |
[INFO] [stdout] 26 | #[cfg(feature = "multiopt")]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/pb_encodings.rs:108:22
[INFO] [stdout]     |
[INFO] [stdout] 108 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/cnf.rs:56:22
[INFO] [stdout]    |
[INFO] [stdout] 56 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/am1_encodings.rs:39:22
[INFO] [stdout]    |
[INFO] [stdout] 39 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/card_encodings.rs:154:22
[INFO] [stdout]     |
[INFO] [stdout] 154 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/opb.rs:19:26
[INFO] [stdout]    |
[INFO] [stdout] 19 |         let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] ...
[INFO] [stdout] 27 |     opb_test!("./data/tiny-sat.opb", SolverResult::Sat);
[INFO] [stdout]    |     --------------------------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `opb_test` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/cnf.rs:73:22
[INFO] [stdout]    |
[INFO] [stdout] 73 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/pb_encodings.rs:164:22
[INFO] [stdout]     |
[INFO] [stdout] 164 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/card_encodings.rs:188:22
[INFO] [stdout]     |
[INFO] [stdout] 188 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Sat`, `SolveIncremental`, and `Unsat`
[INFO] [stdout]  --> tests/am1_encodings.rs:6:16
[INFO] [stdout]   |
[INFO] [stdout] 6 |         Solve, SolveIncremental,
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 7 |         SolverResult::{Sat, Unsat},
[INFO] [stdout]   |                        ^^^  ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/opb.rs:19:26
[INFO] [stdout]    |
[INFO] [stdout] 19 |         let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] ...
[INFO] [stdout] 32 |     opb_test!("./data/tiny-unsat.opb", SolverResult::Unsat);
[INFO] [stdout]    |     ------------------------------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `opb_test` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/cnf.rs:90:22
[INFO] [stdout]    |
[INFO] [stdout] 90 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/pb_encodings.rs:193:22
[INFO] [stdout]     |
[INFO] [stdout] 193 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/compression.rs:11:22
[INFO] [stdout]    |
[INFO] [stdout] 11 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/card_encodings.rs:285:22
[INFO] [stdout]     |
[INFO] [stdout] 285 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/cnf.rs:115:22
[INFO] [stdout]     |
[INFO] [stdout] 115 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/card_encodings.rs:411:22
[INFO] [stdout]     |
[INFO] [stdout] 411 |     let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `Solver`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 411 -     let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout] 411 +     let mut solver = Solver::default();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/pb_encodings.rs:291:22
[INFO] [stdout]     |
[INFO] [stdout] 291 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/compression.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Sat` and `Unsat`
[INFO] [stdout]   --> tests/card_encodings.rs:11:30
[INFO] [stdout]    |
[INFO] [stdout] 11 |         SolverResult::{self, Sat, Unsat},
[INFO] [stdout]    |                              ^^^  ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/cnf.rs:140:22
[INFO] [stdout]     |
[INFO] [stdout] 140 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/pb_encodings.rs:452:30
[INFO] [stdout]     |
[INFO] [stdout] 452 |             let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/cnf.rs:165:22
[INFO] [stdout]     |
[INFO] [stdout] 165 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/compression.rs:34:22
[INFO] [stdout]    |
[INFO] [stdout] 34 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/pb_encodings.rs:519:26
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Sat`, `SolveIncremental`, `Unsat`, and `types::Lit`
[INFO] [stdout]  --> tests/cnf.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 |         Solve, SolveIncremental,
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 6 |         SolverResult::{Sat, Unsat},
[INFO] [stdout]   |                        ^^^  ^^^^^
[INFO] [stdout] 7 |     },
[INFO] [stdout] 8 |     types::Lit,
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]   --> tests/compression.rs:47:22
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]   --> tests/constraints.rs:17:26
[INFO] [stdout]    |
[INFO] [stdout] 17 |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 52 | /     test_card!(
[INFO] [stdout] 53 | |         CardConstraint::new_ub(lits.clone(), 1),
[INFO] [stdout] 54 | |         &[!lit![0], lit![1], !lit![2]],
[INFO] [stdout] 55 | |         &[lit![0], lit![1], !lit![2]]
[INFO] [stdout] 56 | |     );
[INFO] [stdout]    | |_____- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use rustsat::solvers::external::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]   --> tests/constraints.rs:17:26
[INFO] [stdout]    |
[INFO] [stdout] 17 |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 57 | /     test_card!(
[INFO] [stdout] 58 | |         CardConstraint::new_ub(lits.clone(), 2),
[INFO] [stdout] 59 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 60 | |         &[lit![0], lit![1], lit![2]]
[INFO] [stdout] 61 | |     );
[INFO] [stdout]    | |_____- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use rustsat::solvers::external::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout]    --> tests/pb_encodings.rs:562:26
[INFO] [stdout]     |
[INFO] [stdout] 562 |         let mut solver = rustsat_minisat::core::Minisat::default();
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]   --> tests/constraints.rs:17:26
[INFO] [stdout]    |
[INFO] [stdout] 17 |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 67 | /     test_card!(
[INFO] [stdout] 68 | |         CardConstraint::new_lb(lits.clone(), 1),
[INFO] [stdout] 69 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 70 | |         &[!lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 71 | |     );
[INFO] [stdout]    | |_____- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use rustsat::solvers::external::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]   --> tests/constraints.rs:17:26
[INFO] [stdout]    |
[INFO] [stdout] 17 |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 72 | /     test_card!(
[INFO] [stdout] 73 | |         CardConstraint::new_lb(lits.clone(), 2),
[INFO] [stdout] 74 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 75 | |         &[!lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 76 | |     );
[INFO] [stdout]    | |_____- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use rustsat::solvers::external::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]   --> tests/constraints.rs:17:26
[INFO] [stdout]    |
[INFO] [stdout] 17 |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 77 | /     test_card!(
[INFO] [stdout] 78 | |         CardConstraint::new_lb(lits.clone(), 3),
[INFO] [stdout] 79 | |         &[lit![0], lit![1], lit![2]],
[INFO] [stdout] 80 | |         &[!lit![0], lit![1], !lit![2]]
[INFO] [stdout] 81 | |     );
[INFO] [stdout]    | |_____- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use rustsat::solvers::external::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]   --> tests/constraints.rs:17:26
[INFO] [stdout]    |
[INFO] [stdout] 17 |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 87 | /     test_card!(
[INFO] [stdout] 88 | |         CardConstraint::new_eq(lits.clone(), 1),
[INFO] [stdout] 89 | |         &[lit![0], !lit![1], !lit![2]],
[INFO] [stdout] 90 | |         &[!lit![0], lit![1], lit![2]]
[INFO] [stdout] 91 | |     );
[INFO] [stdout]    | |_____- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use rustsat::solvers::external::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]   --> tests/constraints.rs:17:26
[INFO] [stdout]    |
[INFO] [stdout] 17 |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 92 | /     test_card!(
[INFO] [stdout] 93 | |         CardConstraint::new_eq(lits.clone(), 2),
[INFO] [stdout] 94 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 95 | |         &[!lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 96 | |     );
[INFO] [stdout]    | |_____- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use rustsat::solvers::external::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:17:26
[INFO] [stdout]     |
[INFO] [stdout] 17  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 97  | /     test_card!(
[INFO] [stdout] 98  | |         CardConstraint::new_eq(lits.clone(), 3),
[INFO] [stdout] 99  | |         &[lit![0], lit![1], lit![2]],
[INFO] [stdout] 100 | |         &[!lit![0], lit![1], !lit![2]]
[INFO] [stdout] 101 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 110 | /     test_pb!(
[INFO] [stdout] 111 | |         PbConstraint::new_eq(lits.clone(), 1),
[INFO] [stdout] 112 | |         &[lit![0], !lit![1], !lit![2]],
[INFO] [stdout] 113 | |         &[!lit![0], lit![1], !lit![2]]
[INFO] [stdout] 114 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 115 | /     test_pb!(
[INFO] [stdout] 116 | |         PbConstraint::new_eq(lits.clone(), 2),
[INFO] [stdout] 117 | |         &[!lit![0], lit![1], !lit![2]],
[INFO] [stdout] 118 | |         &[!lit![0], !lit![1], lit![2]]
[INFO] [stdout] 119 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 120 | /     test_pb!(
[INFO] [stdout] 121 | |         PbConstraint::new_eq(lits.clone(), 3),
[INFO] [stdout] 122 | |         &[!lit![0], !lit![1], lit![2]],
[INFO] [stdout] 123 | |         &[lit![0], !lit![1], lit![2]]
[INFO] [stdout] 124 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 133 | /     test_pb!(
[INFO] [stdout] 134 | |         PbConstraint::new_lb(lits.clone(), 1),
[INFO] [stdout] 135 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 136 | |         &[!lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 137 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 138 | /     test_pb!(
[INFO] [stdout] 139 | |         PbConstraint::new_lb(lits.clone(), 2),
[INFO] [stdout] 140 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 141 | |         &[lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 142 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 143 | /     test_pb!(
[INFO] [stdout] 144 | |         PbConstraint::new_lb(lits.clone(), 3),
[INFO] [stdout] 145 | |         &[!lit![0], !lit![1], lit![2]],
[INFO] [stdout] 146 | |         &[!lit![0], lit![1], !lit![2]]
[INFO] [stdout] 147 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 156 | /     test_pb!(
[INFO] [stdout] 157 | |         PbConstraint::new_eq(lits.clone(), 1),
[INFO] [stdout] 158 | |         &[lit![0], !lit![1], !lit![2]],
[INFO] [stdout] 159 | |         &[!lit![0], lit![1], lit![2]]
[INFO] [stdout] 160 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 161 | /     test_pb!(
[INFO] [stdout] 162 | |         PbConstraint::new_eq(lits.clone(), 2),
[INFO] [stdout] 163 | |         &[!lit![0], lit![1], !lit![2]],
[INFO] [stdout] 164 | |         &[!lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 165 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 166 | /     test_pb!(
[INFO] [stdout] 167 | |         PbConstraint::new_eq(lits.clone(), 3),
[INFO] [stdout] 168 | |         &[!lit![0], !lit![1], lit![2]],
[INFO] [stdout] 169 | |         &[!lit![0], lit![1], !lit![2]]
[INFO] [stdout] 170 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:17:26
[INFO] [stdout]     |
[INFO] [stdout] 17  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 176 | /     test_card!(
[INFO] [stdout] 177 | |         CardConstraint::new_lb(lits.clone(), 1),
[INFO] [stdout] 178 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 179 | |         &[!lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 180 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:17:26
[INFO] [stdout]     |
[INFO] [stdout] 17  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 181 | /     test_card!(
[INFO] [stdout] 182 | |         CardConstraint::new_ub(lits.clone(), 2),
[INFO] [stdout] 183 | |         &[!lit![0], lit![1], lit![2]],
[INFO] [stdout] 184 | |         &[lit![0], lit![1], lit![2]]
[INFO] [stdout] 185 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 194 | /     test_pb!(
[INFO] [stdout] 195 | |         PbConstraint::new_ub(lits.clone(), 6),
[INFO] [stdout] 196 | |         &[lit![0], !lit![1], !lit![2]],
[INFO] [stdout] 197 | |         &[lit![0], lit![1], lit![2]]
[INFO] [stdout] 198 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools`
[INFO] [stdout]    --> tests/constraints.rs:36:26
[INFO] [stdout]     |
[INFO] [stdout] 36  |           let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools`
[INFO] [stdout] ...
[INFO] [stdout] 199 | /     test_pb!(
[INFO] [stdout] 200 | |         PbConstraint::new_lb(lits.clone(), 2),
[INFO] [stdout] 201 | |         &[lit![0], lit![1], !lit![2]],
[INFO] [stdout] 202 | |         &[!lit![0], !lit![1], !lit![2]]
[INFO] [stdout] 203 | |     );
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (test "am1_encodings") due to 3 previous errors; 1 warning emitted
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (test "cnf") due to 10 previous errors; 1 warning emitted
[INFO] [stderr] error: could not compile `rustsat` (test "opb") due to 3 previous errors
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (test "compression") due to 4 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (test "card_encodings") due to 7 previous errors; 1 warning emitted
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (test "constraints") due to 21 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (test "pb_encodings") due to 10 previous errors
[INFO] running `Command { std: "docker" "inspect" "91b211ef96cd41dc9476997daa3679579a801888d86f91a624ef233b4ad2bb55", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91b211ef96cd41dc9476997daa3679579a801888d86f91a624ef233b4ad2bb55", kill_on_drop: false }`
[INFO] [stdout] 91b211ef96cd41dc9476997daa3679579a801888d86f91a624ef233b4ad2bb55
