cvc5-sys-0.4.0
- cvc5-sys 0.4.0
- Docs.rs crate page
- BSD-3-Clause
- Links
- Repository
- crates.io
- Source
- Owners
- BrunoDutertre
- HuStmpHrrr
- Dependencies
- bindgen ^0.72 build
  cc ^1 build
  convert_case ^0.11 build
  glob ^0.3 build optional
  toml ^0.8 build
- Versions
- 32.73% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

delete

cvc5_sys0.4.0

Function delete

pub unsafe extern "C" fn delete(cvc5: *mut Solver)

Expand description

Delete a cvc5 solver instance. @param cvc5 The solver instance.