cvc5-sys-0.3.1
- cvc5-sys 0.3.1
- Docs.rs crate page
- BSD-3-Clause
- Links
- Repository
- crates.io
- Source
- Owners
- BrunoDutertre
- HuStmpHrrr
- Dependencies
- bindgen ^0.72 build
  toml ^0.8 build
- Versions
- 31.92% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

Cvc5Result

cvc5_sys0.3.1

Type Alias Cvc5Result

pub type Cvc5Result = *mut cvc5_result_t;

Expand description

Encapsulation of a three-valued solver result, with explanations.