Skip to content

z3v5.0.0

Updated

Z3 is a theorem prover from Microsoft Research

#License

MIT

#Supported Platforms

!uwp

  • ✅linux
  • ✅osx
  • ✅windows
  • ❌uwp

#Features

No features defined.

#Dependencies

No dependencies.

#Host Dependencies

No transitive dependencies.

#Used By

#Host Tool For

No ports use this.

#Contributors

  • Nuno Lopes's avatarNuno Lopes
  • JackBoosY's avatarJackBoosY
  • Nuno Lopes's avatarNuno Lopes
  • Stefano Sinigardi's avatarStefano Sinigardi
  • Jack·Boos·Yu's avatarJack·Boos·Yu
  • Phil Christensen's avatarPhil Christensen
  • Alberto Garcia Illera's avatarAlberto Garcia Illera
  • Robert Schumacher's avatarRobert Schumacher
  • chausner's avatarchausner
  • autoantwort's avatarautoantwort
  • Billy O'Neal's avatarBilly O'Neal
  • Hennadii Chernyshchyk's avatarHennadii Chernyshchyk
  • Eric Kilmer's avatarEric Kilmer
  • Timothy Werquin's avatarTimothy Werquin
  • Bruce Mitchener's avatarBruce Mitchener
  • toge's avatartoge
  • Mark DenHoed's avatarMark DenHoed

#Changelog

Show 24 earlier changes

#Port Files