Z3

Prouvez vos théorèmes ou trouvez des contres exemples grâce à ce solveur SMT

Éditeur : Microsoft research

Note

Présentation de Z3 par Telecharger.com

Tout droit sorti des laboratoires Microsoft Research, le logiciel Z3 propose un solveur SMT (Satisfied Modulo Theories) efficace qui combine une multitude de solveurs théoriques dans un framework combiné. Z3 peut s'employer pour prouver des théorèmes et pour trouver des contres exemples invalidants un possible théorème. En effet, Z3 propose un vérificateur automatique de satisfiabilité pour plusieurs types triés de logique du premier ordre incluant le support des quantificateurs. L'application intègre deux exécutables, un pour système 32 bits, l'autre 64 bits, et s'exécute en mode console.

Caractéristiques

Version	4.1.0
Dernière mise à jour	09/03/2016
Licence	Gratuit
Taille	31.34 Mo
Systèmes d'exploitation	Linux sources, Windows XP/Vista/7/8/8.1/10
Langue	Anglais