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ů

  1. Stáhnout Standard ML ve verzi odpovídající používanému OS z oficiální stránky Standard ML a nainstalovat
  2. Stáhnout zdrojové kódy CWB z oficiální stránky
  3. Vygenerovat si soubor custom.ml na stránce CWB nebo si stáhnout předpřipravený soubor zahrnující vše
  4. Rozbalit stažený src.tar a do rozbalením vzniklého adresáře CWB7.1 nahrát stažený nebo vygenerovaný custom.ml
  5. Vytvořit image CWB příkazem sml < custom.ml
  6. 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í.