docs.rs failed to build boolector-sys-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:
boolector-sys-0.7.2
boolector-sys
This Rust crate provides low-level bindings for the Boolector SMT solver. It has the following limitations:
- the
boolector
library must be available on the system, no attempt is made to build it from source; - the
boolector
library must be a shared library, otherwise its dependencies on the SAT solvers andbtor2parser
will not be satisfied.
Installation
First, compile and install the boolector
shared library. Then add this crate
to your Cargo.toml
:
[]
= "0.1"
License
This crate is licensed under the MIT license.