R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0
R Interface to C API of GLPK, needs GLPK Version >= 4.42
This repository deals with the data exploration of the data contained in D-BAS.
R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)
SBML (Systems Biology Markup Language) integration in sybil
ProB Modelling Examples as Jupyter Notebooks.
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.