Disambiguation evidence for Python API via surface form
"Python API for Z3"
As subject (49)
Triples where this entity appears as subject under the
label "Python API for Z3".
| Predicate | Object |
|---|---|
| compatibleWith | Python 3 NERFINISHED ⓘ |
| distributedWith | Z3 source distribution ⓘ |
| documentationURL | https://z3prover.github.io/api/html/namespacez3py.html ⓘ |
| enables | construction of constraints ⓘ |
| enables | construction of logical formulas ⓘ |
| enables | model generation ⓘ |
| enables | satisfiability checking ⓘ |
| enables | symbolic reasoning ⓘ |
| enables | theorem proving tasks ⓘ |
| hasComponent | z3.Array NERFINISHED ⓘ |
| hasComponent | z3.BitVec ⓘ |
| hasComponent | z3.Bool ⓘ |
| hasComponent | z3.Context NERFINISHED ⓘ |
| hasComponent | z3.Int NERFINISHED ⓘ |
| hasComponent | z3.Optimize NERFINISHED ⓘ |
| hasComponent | z3.Real ⓘ |
| hasComponent | z3.Solver NERFINISHED ⓘ |
| hasFeature | automatic memory management via Python GC ⓘ |
| hasFeature | exception-based error handling ⓘ |
| hasFeature | high-level Pythonic interface ⓘ |
| hasFeature | object-oriented API ⓘ |
| hostedOn | GitHub NERFINISHED ⓘ |
| implementsInterfaceTo | Z3 SMT solver NERFINISHED ⓘ |
| importName | z3 NERFINISHED ⓘ |
| instanceOf | Python binding ⓘ |
| instanceOf | application programming interface ⓘ |
| instanceOf | software library ⓘ |
| license | MIT License ⓘ |
| partOf | Z3 project NERFINISHED ⓘ |
| programmingLanguage | Python ⓘ |
| repositoryURL | https://github.com/Z3Prover/z3 ⓘ |
| requires | CPython interpreter ⓘ |
| requires | Z3 native library ⓘ |
| supports | SMT-LIB theories NERFINISHED ⓘ |
| supports | arrays ⓘ |
| supports | bit-vectors ⓘ |
| supports | integers ⓘ |
| supports | optimization problems ⓘ |
| supports | quantifiers ⓘ |
| supports | reals ⓘ |
| supports | uninterpreted functions ⓘ |
| usedFor | constraint solving in AI ⓘ |
| usedFor | formal verification ⓘ |
| usedFor | program analysis ⓘ |
| usedFor | software model checking ⓘ |
| usedFor | synthesis tasks ⓘ |
| usedFor | test generation ⓘ |
| usedIn | industrial verification tools ⓘ |
| usedIn | research projects ⓘ |