Maude for Windows

Maude for Windows har ikke v?rt problematisk tidligere, men instruksjoner er fjernet fra Maude's hjemmeside. Siden Maude for Windows fra Univ. Politecnica Valencia beskriver hvordan man kan kj?re Maude 2.7.1 (v?r versjon) p? Windows-maskiner. Merk at vi ikke skal bruke CVC-4 eller noen annen SMT solver i kurset, s? man trenger ikke ? laste opp CVC-4 (eller Yices). Carolyn Talcott skriver at "I believe Windows 10 can run Maude linux binaries. There is some kind of unix compatibility mode."

Husk ogs? at Ifi's linux-maskiner alle har installert Maude 2.7.1: bare ? gi kommandoen maude.