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

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