z3 v4.13.3
- Created
- Updated
Z3 is a theorem prover from Microsoft Research
# License
# Supported Platforms
!uwp
- ✅ linux
- ✅ osx
- ✅ windows
- ❌
uwp
# Features
No features defined.
# Dependencies
No dependencies.
# Host Dependencies
No transitive dependencies.
# Dependents
# Host Dependents
No dependents.
# Contributors
Nuno Lopes
JackBoosY
Nuno Lopes
Stefano Sinigardi
Jack·Boos·Yu
Phil Christensen
Alberto Garcia Illera
Robert Schumacher
chausner
autoantwort
Billy O'Neal
Hennadii Chernyshchyk
Eric Kilmer
Timothy Werquin
Bruce Mitchener