Readme

Welcome to the BioDiVinE-1.1 wiki!

This is the package containing BioDiVinE-1.1 tool (including DiVinE/Library and DiVinE/ToolSet.)

This branch of DiVinE focuses on modeling and analysis of dynamic models of biological systems including sigmoidal switches and Hill functions, that are transformed into ramp functions by piece-wise multi-affine abstraction.

Currently this is an experimental branch of DiVinE that includes the basic kernel of DiVinE (the DiVinE library) which extended with state-space generator for biological systems.

For more informations see https://github.com/martindemko/BioDiVinE-1.1

For compilation of this package follow the instructions:

./autogen

make

For success in this step, you need:

MPI - 1.2 or higher
Autoconf - 2.61 or higher
Automake - 1.10.1 or higher
gcc - 4.7 or higher

If you noticed some problems during ./configure, contact us ([email protected])