Passer au contenu
Dminor

Dminor

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

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

 R

R

Environnement logiciel open source pour les calculs statistiques et graphiques

 .NET Framework 4

.NET Framework 4

La nouvelle génération du framework de Microsoft

Les autres logiciels de Microsoft research

Blink

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…

Collage

Outil de présentation pour l'enseignement

 Cliplets

Cliplets

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