Skip to content
Snippets Groups Projects
Select Git revision
  • 83235f119317f4ef456bfc06cce485db3f35b5f1
  • master default protected
2 results

visb-visualisation-examples

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    add TLA Einstein model and visualisation
    Michael Leuschel authored
    83235f11
    History
    user avatar 83235f11
    History
    Name Last commit Last update
    Bridge
    Button
    Einstein
    Lift
    N-Queens
    Physics
    Reals
    TrafficLight
    Train
    Waterboiler
    traces
    .gitignore
    Makefile
    README.md
    VisB-Examples.prob2project
    README.md

    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.