Dminor

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

    0.1.1

    File Name:

    Dminor-0.1.1.msi

    Date Published:

    5/11/2016

    File Size:

    4.6 MB

      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.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit