The Edinburgh Concurrency Workbench
Domovská stránka
SML image CWB
SML interpretr
BAT soubor pro spuštění interpretru SML s image CWB
Instalace bez předpřipravených souborů
- Stáhnout Standard ML ve verzi odpovídající používanému OS z oficiální stránky Standard ML a nainstalovat
- Stáhnout zdrojové kódy CWB z oficiální stránky
- Vygenerovat si soubor
custom.ml
na stránce CWB nebo si stáhnout předpřipravený soubor zahrnující vše
- Rozbalit stažený
src.tar
a do rozbalením vzniklého adresáře CWB7.1
nahrát stažený nebo vygenerovaný custom.ml
- Vytvořit image CWB příkazem
sml < custom.ml
- Spustit CWB příkazem
sml @SMLLoad=[nazev_image]
, kde [nazev_image]
je skutečné jméno vytvořeného image souboru (např. cwb.x86-win32
pro Windows)
The Bisimulation Game Game
Domovská stránka
Archív s programem Bisimulation Game Game
Archív s programem Graphviz
Při rozbalení archívů bisim.zip Graphviz.zip do jakéhokoliv adresáře (ale stejného pro oba programy - vytvoří se v něm dva podadresáře, jeden pro každý z těchto programů) by měl ve Windows fungovat bez dalšího nastavování.