Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/fatemender/boolector-sys
Low-level Rust bindings for the Boolector SMT solver
https://github.com/fatemender/boolector-sys
boolector rust rust-ffi smt-solver
Last synced: about 1 month ago
JSON representation
Low-level Rust bindings for the Boolector SMT solver
- Host: GitHub
- URL: https://github.com/fatemender/boolector-sys
- Owner: fatemender
- License: mit
- Created: 2019-05-08T14:10:31.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2024-02-26T13:38:28.000Z (4 months ago)
- Last Synced: 2024-04-27T15:20:23.639Z (2 months ago)
- Topics: boolector, rust, rust-ffi, smt-solver
- Language: Rust
- Size: 29.3 KB
- Stars: 6
- Watchers: 3
- Forks: 7
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Lists
- awesome-rust-formalized-reasoning - boolector-sys - sys) - low-level bindings for the [Boolector](https://boolector.github.io) SMT solver. (Projects / Libraries)
README
[](https://crates.io/crates/boolector-sys)
[](https://docs.rs/boolector-sys)
# boolector-sys
This Rust crate provides low-level bindings for the [Boolector] SMT solver,
version 3.2.2.
[Boolector]: https://boolector.github.io/
## Installation
### Using shared `boolector` library
Compile `boolector` as a shared library and install it. Then add this crate
to your `Cargo.toml`:
```toml
[dependencies]
boolector-sys = "0.7.2"
```
### Using vendored static `boolector` library
This is possible on UNIX-like targets only. Add this crate to your `Cargo.toml`
with the `vendor-lgl` feature enabled:
```toml
[dependencies]
boolector-sys = { version = "0.7.2", features = ["vendor-lgl"] }
```
Enabling `vendor-lgl` will automatically build a static `boolector` library and
link against it. Currently this uses the Lingeling SAT solver.
In order for the build to succeed, you'll need to install some tools on your
build host; for a Debian-based distribution `build-essential`, `cmake`, `curl`,
and `git` should be sufficient.
## License
This crate is licensed under the [MIT license].
[MIT license]: LICENSE