Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

ProB Modelling Examples as Jupyter Notebooks.

A Java-based Jupyter kernel for ProB 2

The ProB Model Checker and Animator Plugin for Rodin

TBA

Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).