Maude .NET

Download

News

Report Bugs

Sourceforge Project

Sourceforge.net
Maude .NET is 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.


To run:
To compile: