Standalone version of the Rodin Event-B parser and AST, published to Maven Central
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
ProB Modelling Examples as Jupyter Notebooks.
This repository deals with the data exploration of the data contained in D-BAS.
SBML (Systems Biology Markup Language) integration in sybil
R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)
R Interface to C API of GLPK, needs GLPK Version >= 4.42
R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0