bitwuzla-sys-0.8.0
Platform
Feature flags

docs.rs

Rust

bitwuzla-sys 0.8.0

Low-level bindings for the Bitwuzla SMT solver

Crate
Source
Builds
Feature flags

bitwuzla
src
src-generated
.cargo_vcs_info.json
.gitignore
.gitmodules
build-vendor.rs
build.rs
Cargo.lock
Cargo.toml
Cargo.toml.orig
LICENSE
README.md

1
2
3

[submodule "bitwuzla"]
	path = bitwuzla
	url = https://github.com/bitwuzla/bitwuzla