Maude .NET 2.4.0.3

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

ABOUT Maude .NET

A port of Maude to Visual C++ .NET. Maude is a high-performance reflective language supporting equational and rewriting logic. Originally in C++ for Linux, this contains the Visual Studio project and patch code needed to compile Maude for .NET.