The ProB Model Checker and Animator Plugin for Rodin

A Java-based Jupyter kernel for ProB 2

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

ProB Modelling Examples as Jupyter Notebooks.

TBA

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