Skip to content
Snippets Groups Projects
Select Git revision
  • 96d1586628904ee8e84d9a074cc6f907fbd53447
  • master default protected
2 results

README.md

Blame
    • user avatar
    update readme
    Michael Leuschel authored
    b1b2b495
    History
    user avatar b1b2b495
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    README.md 356 B

    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.