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

visb-visualisation-examples

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    update gitignore
    Michael Leuschel authored 
    Signed-off-by: default avatarMichael Leuschel <leuschel@uni-duesseldorf.de>
    ec48f3d9
    History
    user avatar ec48f3d9
    History
    Name Last commit Last update
    Algorithms/MCTS
    B2Program
    Bridge
    Button
    Connect4
    Einstein
    HD
    Jars
    LandingGear
    Lift
    N-Queens
    Physics
    Reals
    Sieve
    Sudoku
    TicTacToe
    TrafficLight
    Train
    Train_B_Book
    Waterboiler
    traces
    .gitignore
    Makefile
    README.md
    VisB-Examples.prob2project
    README.md

    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.

    Domain-specific HTML Applications

    HTML Applications generated from B2Program are availalbe at https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples/-/tree/master/B2Program

    Usage of B2Program to generate domain-specific HTML applications is described in https://github.com/favu100/b2program

    Remark: It might be required to deactivate CORS Policy