VisB is an svg-based visualisation plugin for ProB2-UI.
You will need to download the ProB2-UI jar-file and the VisB jar-file, you can find a stable version in this repository.
After that, you can follow these instructions.
miwer106/VisualisationExamplesForVisB
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
This repository contains a few visualisation examples for VisB.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published