Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "boolector" keyword

View the packages on the crates.io package registry that are tagged with the "boolector" keyword.

boolector-sys 0.7.2
Low-level bindings for the Boolector SMT solver
15 versions - Latest release: over 1 year ago - 2 dependent packages - 5 dependent repositories - 39.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
boolector 0.4.3
Safe high-level bindings for the Boolector SMT solver
9 versions - Latest release: over 3 years ago - 4 dependent packages - 6 dependent repositories - 25.7 thousand downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
ffi 2 smt 2 rust 1 rust-ffi 1 smt-solver 1 bindings 1