Maude .NET

Download

News

Report Bugs

Sourceforge Project

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:

In folder source\Maude-2.4\src\Main, double-click Maude.exe. (It is in that folder so that it can find prelude.maude.)
If it says "The application failed to start", make sure you have installed .NET Framework 2.0 and Visual C++ 2008 SP1 Redistributable.

To compile:

Open source\cpp.net\Maude.sln (in Visual C++ .NET 2008)
Press F5 to build and run!