Is it possible to run the playground locally?

[TSPMP]

Basically, what the title says. Is it possible to run the playground server and especially the whiteboard and explorer feature locally? I built the binaries locally and can run the model checker but I do not seem to find an option to run the playground locally. The main.go file has a -playground option but that just seems to set a specific set of settings.

[jp-fizzbee]

I am glad you liked the feature. Honestly, I am actually too embarrassed to show the code. But I'll put it in the open anyway, I hope someone would help improving it.

[TSPMP]

I hope you do! I see this feature similar to stepping through the code with a debugger so it lets you experience the specification. Also, this is a really great way to generate sequence diagrams to communicate designs!