Passer au contenu
Dminor

Dminor

Aide à la vérification du code durant la compilation
Éditeur : Microsoft research
Note
Télécharger
Acheter

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.

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/10

Captures d'écran

Dminor - Capture d'écran 1

Les alternatives à Dminor

MATLAB

MATLAB

Interface et langage de développement orientés calculs scientifiques de haut niveau

 Python

Python

Langage de programmation orienté object

 Adobe AIR

Adobe AIR

Une plateforme de développement Adobe

 OpenGL 4.3

OpenGL 4.3

Librairie graphique 3D

Les autres logiciels de Microsoft research

Blink

Blink

Créez de simples GIF animés sur votre smartphone et stockez-les sur OneDrive

 Cliplets

Cliplets

Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques

 Z3

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…