colomoto/colomoto-docker:2020-04-21
github-actions
released this
21 Apr 23:56
·
221 commits
to for-next
since this release
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2020-04-21
Packages
Package | Version | Description |
---|---|---|
ITSTools | 20180905 | Symbolic model-checker |
NuSMV | 2.6.0 | Symbolic model-checker |
GINsim | 3.0.0b | Boolean and multi-valued network modelling |
MaBoSS | 2.3.1 | Markovian Boolean Stochastic Simulator |
Pint | 2019.05.24 | Static analyzer for dynamics of Automata Networks |
R-BoolNet | 2.1.5 | Analysis and reconstruction of Boolean networks dynamics |
colomoto_jupyter | 0.6.2 | CoLoMoTo Python module |
GINsim-Python | 0.4.1 | Python interface to GINsim and bioLQM |
mpbn | 1.2 | Brief implementation of Most Permissive Boolean Networks |
PyMaBoSS | 0.7.10 | Python interface to MaBoSS |
PyPint | 1.6.0 | Python interface to Pint |