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/10Les alternatives à Dminor
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
Z3
Prouvez vos théorèmes ou trouvez des contres exemples grâce à ce solveur…
Blink
Créez de simples GIF animés sur votre smartphone et stockez-les sur OneDrive
Cloud Services SDK for Windows Phone 7
SDK destiné à la création d'applications pour Windows Phone 7 orientées Cloud…