bitwuzla-sys 0.8.0

Low-level bindings for the Bitwuzla SMT solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#[cfg(feature = "vendor-cadical")]
include!("build-vendor.rs");

fn main() {
    #[cfg(feature = "vendor-cadical")]
    {
        if std::env::var("BITWUZLA_NO_VENDOR").map_or(true, |value| value == "0") {
            BitwuzlaBuild::new().prerequisites().build();
        }
    }

    #[cfg(not(feature = "vendor-cadical"))]
    {
        println!("cargo:rustc-link-lib=bitwuzla");
    }
}