boolector-sys-0.7.2
- boolector-sys 0.7.2
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- fatemender
- Dependencies
- libc ^0.2.73 normal
  cc ^1.0 build optional
  cmake ^0.1 build optional
  copy_dir ^0.1.2 build optional
- Versions
- 0.29% of the crate is documented
Platform
Feature flags

docs.rs

Rust

boolector_array

boolector_sys0.7.2

Function boolector_array

pub unsafe extern "C" fn boolector_array(
    btor: *mut Btor,
    sort: BoolectorSort,
    symbol: *const c_char,
) -> *mut BoolectorNode