Explore projects

This repository deals with the data exploration of the data contained in D-BAS.

TBA

Modified version of the TLA+ tools for usage in ProB

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA