Dminor
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
Python
Python est un langage de programmation orienté objet que l’on peut utiliser…
MATLAB
MATLAB est un logiciel de calcul scientifique et de programmation qui permet…
Adobe AIR
Déployez des services multiplateformes polyvalents en dehors des navigateurs internet classiques. Adobe…
R Project
R Project est un logiciel libre et un environnement dédié au calcul…
Les autres logiciels de Microsoft research
Cliplets
Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques
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
