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.

Details

TypeDownload
File NameDminor-0.1.1.msi
Version0.1.1
Date Published20 September 2010
Download Size4.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.