Microsoft Download Center Archive

Dminor

  • Published:
  • Version: 0.1.1
  • Category: Tool
  • Language: English

Dminor is a data-modeling language based on M, the data-modeling language of Microsoft Oslo. Last published: September 20, 2010.

Dminor is a data-modeling language based on M, the data-modeling language of Microsoft Oslo. Dminor provides extended compile-time checking of code, making use of an SMT (Satisfiability Modulo Theories) solver.

Files

Status: Deleted

This download is no longer available on microsoft.com. The downloads below are archives provided by the Internet Archive Wayback Machine from the Microsoft Download Center prior to April 2023.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
FamilyId: fece4cbb-6a44-46e9-8f77-8c951f3ec342
Report a problem