VisualisationExamplesForVisB

What is VisB?

VisB is an svg-based visualisation plugin for ProB2-UI.

Setting up VisB

You will need to download a recent version of ProB2-UI.

After that, you can follow these instructions.