These binaries are written in JAVA. In case you don't have the JAVA virtual machine installed in your platform, you can download it from
http://java.sun.com.
There are also a Maude version for Microsoft Windows using
Cygwin. If you want to use it with Maude Workstation, you must download Cygwin or
install a little packet with the necessary binaries.
These binaries are also available below:
- Maude for Microsoft Windows
- Minimum install of Cygwin