2020-08-01
github-actions
released this
02 Aug 00:25
·
159 commits
to for-next
since this release
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2020-08-01
Packages
Package | Version | Description |
---|---|---|
boolSim | 1.2 | Computation of attractors and reachable sets in synchronous and asynchronous Boolean Networks |
boolSim-python | 0.5 | Python interface to boolSim |
CABEAN | 1.0.0 | A Software Tool for the Control of Asynchronous Boolean Networks |
CABEAN-python | 1.0 | Python interface to CABEAN |
Caspo | 4.0.0 | Reasoning on the response of logical signaling networks with Answer Set Programming |
Caspo-control | 1.0 | Python wrapper to the control method of caspo |
CaSQ | 0.7.8 | Convert static interaction maps into executable models |
clingo | 5.4.0 | Answer-Set Programming solver |
colomoto_jupyter | 0.7.1 | CoLoMoTo Python module |
GINsim | 3.0.0b | Boolean and multi-valued network modelling |
GINsim-Python | 0.4.2 | Python interface to GINsim and bioLQM |
ITSTools | 20180905 | Symbolic model-checker |
MaBoSS | 2.3.4 | Markovian Boolean Stochastic Simulator |
mpbn | 1.3 | Brief implementation of Most Permissive Boolean Networks |
NuSMV | 2.6.0 | Symbolic model-checker |
Pint | 2019.05.24 | Static analyzer for dynamics of Automata Networks |
ActoNet | 1.0 | Abduction-based control of fixed points of Boolean networks |
PyBoolNet | 2.2.8 | Generation, modification and analysis of Boolean networks |
PyMaBoSS | 0.7.17 | Python interface to MaBoSS |
PyPint | 1.6.1 | Python interface to Pint |
R-BoolNet | 2.1.5 | Analysis and reconstruction of Boolean networks dynamics |
StableMotifs | 1 | Target-control of Boolean networks |
StableMotifs-python | 1.0 | Python interface to StableMotifs |