Z3 Optimization Family

URI: https://gptkb.org/entity/Z3_Optimization_Family
GPTKB entity
Statements (57)
Predicate Object
gptkbp:instanceOf Optimization Solver
gptkbp:developedBy gptkb:Microsoft_Research
gptkbp:hasFeature Incremental Solving
Proof Generation
Interoperability with Other Tools
Optimization Support
Support for Multiple Theories
User-defined Theories
gptkbp:hasRelatedPatent Artificial Intelligence
Cryptography
Data Analysis
Formal Methods
Game Development
Hardware Verification
Machine Learning
Model-Based Testing
Robotics
Software Verification
Static Analysis
Constraint Solving
Automated Planning
Automated Theorem Proving
Program Synthesis
Network Verification
Symbolic_Execution
gptkbp:hasVersion Z3 4.10.0
Z3 4.10.1
Z3 4.10.10
Z3 4.10.2
Z3 4.10.3
Z3 4.10.4
Z3 4.10.5
Z3 4.10.6
Z3 4.10.7
Z3 4.10.8
Z3 4.10.9
Z3 4.8.7
Z3 4.8.8
Z3 4.8.9
Z3 4.9.0
Z3 4.9.1
Z3 4.9.2
Z3 4.9.3
Z3 4.9.4
Z3 4.9.5
Z3 4.9.6
Z3 4.9.7
Z3 4.9.8
Z3 4.9.9
https://www.w3.org/2000/01/rdf-schema#label Z3 Optimization Family
gptkbp:provides SMT_Solver
gptkbp:publishedIn gptkb:C++
gptkbp:releasedIn 2008
gptkbp:supports Satisfiability Modulo Theories (SMT)
gptkbp:usedIn Formal Verification
Model Checking
Program Analysis