docs.rs failed to build rustsat-cadical-0.2.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-cadical-0.7.3
rustsat-cadical - Interface to the CaDiCaL SAT Solver for RustSAT
Armin Biere's SAT solver CaDiCaL 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 modesafe: disable writing through 'popen' for more safe usage of the library in applicationsquiet: exclude message and profiling code (logging too)logging: include logging code (but disabled by default)
CaDiCaL Versions
CaDiCaL versions can be selected via cargo crate features. The following CaDiCaL versions are available:
v1-7-0: Version 1.7.0v1-6-0: Version 1.6.0v1-5-6: Version 1.5.6v1-5-5: Version 1.5.5v1-5-4: Version 1.5.4v1-5-3: Version 1.5.3v1-5-2: Version 1.5.2v1-5-1: Version 1.5.1v1-5-0: Version 1.5.0
Without any features selected, the newest version will be used. If conflicting CaDiCaL versions are requested, the newest requested version will be selected.