z3 v5.0.0
- 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
toge
Mark DenHoed