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.