Z3
Prouvez vos théorèmes ou trouvez des contres exemples grâce à ce solveur SMT
Éditeur :
Microsoft research
Votre téléchargement de Z3 est prêt :
Publicité
Les autres logiciels de Microsoft research
Blink
Créez de simples GIF animés sur votre smartphone et stockez-les sur OneDrive
Cliplets
Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques
Collage
Outil de présentation pour l'enseignement
Cloud Services SDK for Windows Phone 7
SDK destiné à la création d'applications pour Windows Phone 7 orientées Cloud…
Les alternatives à Z3
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 |
Publicité
