VisB Visualization Examples
What is VisB?
VisB is a visualization tool in ProB2-UI to create domain-specific visualisations.
Setting up VisB
You will need to download a recent version of ProB2-UI.
Select Git revision
visb-visualisation-examples
-
-
- Open in your IDE
- Download source code
Fabian Vu authored
| Name | Last commit | Last update |
|---|---|---|
| B2Program | ||
| Bridge | ||
| Button | ||
| Einstein | ||
| HD | ||
| Jars | ||
| LandingGear | ||
| Lift | ||
| N-Queens | ||
| Physics | ||
| Reals | ||
| Sudoku | ||
| TrafficLight | ||
| Train | ||
| Train_B_Book | ||
| Waterboiler | ||
| traces | ||
| .gitignore | ||
| Makefile | ||
| README.md | ||
| VisB-Examples.prob2project |