Maude for Windows_亚博娱乐官网_亚博pt手机客户端登录

peterol
2022-01-19T17:34:02.144Z
type:structured-message
www.uio.no

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...