Discover projects, groups and snippets. Share your projects with others
A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
LaTeX-Vorlage für Bachelor und Masterarbeiten.
Tool for translating B to TLA+ for model checking with TLC.
Alternative model checking backend for ProB.
SBML (Systems Biology Markup Language) integration in sybil
Gurobi support for sybil
sybil - Efficient Constrained Based Modelling in R