Lib.rs

Cargo Features

bitwuzla-sys has no features set by default.

[dependencies]
bitwuzla-sys = { version = "0.7.0", features = ["vendor-cadical"] }

vendor-cadical = copy_dir, pkg-config

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

copy_dir build vendor-cadical?

pkg-config build vendor-cadical?