docs.rs failed to build rustsat-cadical-0.1.1
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 be used with the RustSAT library.
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.