Z3 C API
E2000556
UNEXPLORED
Z3 C API is the C-language interface to the Z3 theorem prover, allowing programs written in C (and languages that can interoperate with C) to construct, manipulate, and solve logical formulas using Z3’s capabilities.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Z3 C API canonical | 1 |
| Z3 C API reference manual | 1 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.