Maude pour Windows

Question

Je suis en train d'installer Maude pour Windows 10 64 bits en suivant les instructions ici http://safe-tools.dsic.upv.es/maude/

Je ne peux pas le terminal Cygwin pour faire ce qu'il est censé.

$ ami cd -bash: cd: buddy: Aucun fichier ou répertoire

Mais le répertoire est évidemment là.

Answer 1

Voici d'autres liens que je sais travailler pour vous, si vous voulez jeter un oeil:

Direct method

For eclipse

Maude online compiler

Personnellement, je toujours choisir d'utiliser la en ligne.