Statements (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:availableIn |
GitHub
|
| gptkbp:developedBy |
gptkb:Microsoft_Research
|
| gptkbp:firstPublished |
2008
|
| gptkbp:hasFeature |
Optimization
Incremental Solving Model Generation Proof Generation Custom Theories Parallel_Solving |
| gptkbp:hasRelatedPatent |
Artificial Intelligence
Cryptography Dynamic Analysis Game Theory Hardware Verification Software Verification Static Analysis Automated Reasoning Security Analysis Constraint Satisfaction Problems Program Synthesis |
| gptkbp:hasVersion |
Z3 4.8.0
Z3 4.8.1 Z3 4.8.10 Z3 4.8.2 Z3 4.8.3 Z3 4.8.4 Z3 4.8.5 Z3 4.8.6 Z3 4.8.7 Z3 4.8.8 Z3 4.8.9 |
| https://www.w3.org/2000/01/rdf-schema#label |
Z3 Solver
|
| gptkbp:language |
gptkb:C++
|
| gptkbp:publishedIn |
C#
|
| gptkbp:supports |
Boolean Logic
Arrays Bit-vectors Non-linear Arithmetic Uninterpreted Functions Linear_Arithmetic |
| gptkbp:usedIn |
Formal Verification
Model Checking Program Analysis Theorem_Proving |
| gptkbp:userInterface |
gptkb:API
Command_Line_Interface Interactive_Shell |