Z3

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

Éditeur : Microsoft research

Votre téléchargement gratuit de Z3 est prêt :

Redirection vers votre téléchargement dans 15 secondes...

Les autres logiciels de Microsoft research

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

Cliplets

Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques

MATLAB

Interface et langage de développement orientés calculs scientifiques de haut niveau

Python

Langage de programmation orienté object

Adobe AIR

Une plateforme de développement Adobe

OpenGL 4.3

Librairie graphique 3D

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

Mode