Dminor
Aide à la vérification du code durant la compilation
Éditeur :
Microsoft research
Note
Présentation de Dminor par Telecharger.com
Dminor propose un langage de modélisation de données basé sur le langage M de Microsoft Oslo. Dminor étends le temps de compilation afin de vérifier plus précisément le code. Pour ce faire, il fait usage d'un solveur SMT (Satisfability Modulo Theories). A noter que Dminor fonctionne en mode ligne de commande dans une console Dos sous Windows.
Publicité
Caractéristiques
| Version | 0.1.1 |
| Dernière mise à jour | 10/03/2016 |
| Licence | Gratuit |
| Taille | 4.60 Mo |
| Systèmes d'exploitation | Windows XP/Vista/7/8/8.1/10 |
| Langue | Anglais |
Télécharger Dminor
Toutes les plateformes compatibles :
Windows XP/Vista/7/8/8.1/10Captures d'écran
Les alternatives à Dminor
Les autres logiciels de Microsoft research
Z3
Prouvez vos théorèmes ou trouvez des contres exemples grâce à ce solveur…
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
