A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git
A Java-based Jupyter kernel for ProB 2
sybil - Efficient Constrained Based Modelling in R
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
R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)
SBML (Systems Biology Markup Language) integration in sybil
Gurobi support for sybil
This repository deals with the data exploration of the data contained in D-BAS.
This repo contains a snowball-stemmer for the german language.
The similarity between the documents and the query is calculated with the cosine-similarity.
ProB Modelling Examples as Jupyter Notebooks.