boolector-sys 0.1.1

Low-level bindings for the Boolector SMT solver
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.
Visit the last successful build: boolector-sys-0.7.2

crates.io

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 and btor2parser will not be satisfied.

Installation

First, compile and install the boolector shared library. Then add this crate to your Cargo.toml:

[dependencies]
boolector-sys = "0.1"

License

This crate is licensed under the MIT license.