Maude for Windows

Emnet benytter spr?ket/systemet Maude.  Maude kan lastes opp enkelt for Linux  og MacOS fra http://maude.cs.illinois.edu. 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 (en helt fin versjon for emnet) 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 3.1: bare ? gi kommandoen maude.