Z3
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.
Publicité
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 |
Télécharger Z3
Les alternatives à Z3
MATLAB
Interface et langage de développement orientés calculs scientifiques de haut niveau
Python
Langage de programmation orienté object
Thonny
Un environnement de développement intégré conçu pour les débutants en Python
R
Environnement logiciel open source pour les calculs statistiques et graphiques
Les autres logiciels de Microsoft research
Cliplets
Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques
Dminor
Aide à la vérification du code durant la compilation
Cloud Services SDK for Windows Phone 7
SDK destiné à la création d'applications pour Windows Phone 7 orientées Cloud…
Collage
Outil de présentation pour l'enseignement