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
Une plateforme de développement Adobe
Visual Studio Code (VSCODE)
En utilisant Visual Studio Code, vous pouvez coder partout, dans tous les…
Les autres logiciels de Microsoft research
Blink
Créez de simples GIF animés sur votre smartphone et stockez-les sur OneDrive
Z3
Prouvez vos théorèmes ou trouvez des contres exemples grâce à ce solveur…
Cliplets
Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques
PhyloDet
Analyse graphique de l'évolution des arbres selon leurs espèces
