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
PhyloDet
Analyse graphique de l'évolution des arbres selon leurs espèces
Dminor
Aide à la vérification du code durant la compilation
Les alternatives à Z3
MATLAB
MATLAB est un logiciel de calcul scientifique et de programmation qui permet…
Python
Python est un langage de programmation orienté objet que l’on peut utiliser…
Thonny
Thonny est un environnement de développement intégré conçu pour les débutants en…
Adobe AIR
Une plateforme de développement Adobe
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é
