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
MATLAB
MATLAB est un logiciel de calcul scientifique et de programmation qui permet…
Python
Python est un langage de programmation orienté objet que l’on peut utiliser…
R Project
R Project est un logiciel libre et un environnement dédié au calcul…
Thonny
Thonny est un environnement de développement intégré conçu pour les débutants en…
Les autres logiciels de Microsoft research
Blink
Créez de simples GIF animés sur votre smartphone et stockez-les sur OneDrive
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…
Collage
Outil de présentation pour l'enseignement
