docs.rs failed to build rustsat-minisat-0.4.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build:
rustsat-minisat-0.4.1
rustsat-minisat - Interface to the Minisat SAT Solver for RustSAT
The Minisat SAT solver to be used with the RustSAT library.
Features
debug
: if this feature is enables, the C++ library will be built with debug and check functionality if the Rust project is built in debug modequiet
: disable all glucose-internal printing to stdout during solving (on by default)
Minisat Version
The version of minisat in this crate is Version 2.2.0. The used C++ source repository can be found here.