Explore projects
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
Updated
-
Updated
-
Updated
-
-
Updated
-
SBML (Systems Biology Markup Language) integration in sybil
archived 0Updated -
-
R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)
archived 0Updated -
R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0
archived 0Updated -
Updated
-
This repository deals with the data exploration of the data contained in D-BAS.
Updated -
-
Updated
-
Updated