Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/cdisselkoen/boolector-rs
Safe high-level bindings for the Boolector SMT solver
https://github.com/cdisselkoen/boolector-rs
Last synced: about 1 month ago
JSON representation
Safe high-level bindings for the Boolector SMT solver
- Host: GitHub
- URL: https://github.com/cdisselkoen/boolector-rs
- Owner: cdisselkoen
- License: mit
- Created: 2019-09-04T22:10:47.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2022-04-05T03:36:45.000Z (about 2 years ago)
- Last Synced: 2024-05-11T09:44:47.310Z (about 2 months ago)
- Language: Rust
- Size: 44.9 KB
- Stars: 9
- Watchers: 4
- Forks: 5
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Lists
- awesome-rust-formalized-reasoning - boolector - safe high-level bindings for the [Boolector](https://boolector.github.io) SMT solver. (Projects / Libraries)
README
# boolector
[](https://crates.io/crates/boolector)
[](https://raw.githubusercontent.com/cdisselkoen/boolector-rs/main/LICENSE)
Safe high-level bindings for the [Boolector] SMT solver, version 3.2.2.
## Installation
This crate is on [crates.io](https://crates.io/crates/boolector), so you can
simply add it as a dependency in your `Cargo.toml`:
```toml
[dependencies]
boolector = "0.4.3"
```
This crate relies on the [`boolector-sys`] crate, so you will need to follow
its directions for installation as well. In particular, you can either:
- compile and install Boolector 3.2.2 on your system as a shared library; or
- activate the `vendor-lgl` feature on this crate, which will automatically
build a static Boolector and link to it. E.g.,
```toml
[dependencies]
boolector = { version = "0.4.3", features = ["vendor-lgl"] }
```
For more details, see the [`boolector-sys`] README.
[Boolector]: https://boolector.github.io
[`boolector-sys`]: https://crates.io/crates/boolector-sys
## Documentation
Full documentation, including examples, can be found at
[https://docs.rs/boolector](https://docs.rs/boolector).
## Caveats
These bindings are not necessarily complete; there may be some features
present in [`boolector-sys`] which are not directly exposed here, e.g.,
uninterpreted functions (`boolector_uf()`). Contributions are welcome.
This crate currently requires Rust 1.41+.