Share this page
  • Share this page on Twitter Share this page on Facebook Share this page on Digg Share this page on Del.icio.us Read the Inside Microsoft Research blog
  • E-mail this page Print this page
  • RSS feeds
Home
Dminor

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.

Download Details

File Name: Dminor-0.1.1.msi
Version: 0.1.1
Date Published: 20 September 2010
Download Size: 4.59 MB

Note: By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.