Releases: colomoto/colomoto-docker
Releases · colomoto/colomoto-docker
colomoto/colomoto-docker:2020-06-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2020-06-01
Packages
| Package | Version | Description |
|---|---|---|
| CaSQ | 0.7.4 | Convert static interaction maps into executable models |
| clingo | 5.4.0 | Answer-Set Programming solver |
| colomoto_jupyter | 0.6.4 | 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.2 | 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 |
| PyMaBoSS | 0.7.16 | Python interface to MaBoSS |
| PyPint | 1.6.0 | Python interface to Pint |
| R-BoolNet | 2.1.5 | Analysis and reconstruction of Boolean networks dynamics |
colomoto/colomoto-docker:2020-05-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2020-05-01
Packages
| Package | Version | Description |
|---|---|---|
| CaSQ | 0.7.4 | Convert static interaction maps into executable models |
| clingo | 5.4.0 | Answer-Set Programming solver |
| colomoto_jupyter | 0.6.4 | 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.2 | Markovian Boolean Stochastic Simulator |
| mpbn | 1.2 | 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 |
| PyMaBoSS | 0.7.12 | Python interface to MaBoSS |
| PyPint | 1.6.0 | Python interface to Pint |
| R-BoolNet | 2.1.5 | Analysis and reconstruction of Boolean networks dynamics |
colomoto/colomoto-docker:2020-04-24
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2020-04-24
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.3 | CoLoMoTo Python module |
| GINsim-Python | 0.4.2 | Python interface to GINsim and bioLQM |
| mpbn | 1.2 | Brief implementation of Most Permissive Boolean Networks |
| PyMaBoSS | 0.7.11 | Python interface to MaBoSS |
| PyPint | 1.6.0 | Python interface to Pint |
| CaSQ | 0.7.4 | Convert static interaction maps into executable models |
colomoto/colomoto-docker:2020-04-21
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 |
colomoto/colomoto-docker:2020-04-13
Fetch and run the latest image with
pip install -U colomoto-docker
colomoto-docker -V latest
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.5.2 | Python interface to Pint |
colomoto/colomoto-docker:2020-03-19
Fetch and run the latest image with
pip install -U colomoto-docker
colomoto-docker -V latest
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.1 | CoLoMoTo Python module |
| GINsim-Python | 0.4 | 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.5.2 | Python interface to Pint |
colomoto/colomoto-docker:2020-01-24
Fetch and run the latest image with
pip install -U colomoto-docker
colomoto-docker -V latest
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.5.11 | CoLoMoTo Python module |
| GINsim-Python | 0.3.9 | Python interface to GINsim and bioLQM |
| PyMaBoSS | 0.7.10 | Python interface to MaBoSS |
| PyPint | 1.5.2 | Python interface to Pint |
colomoto/colomoto-docker:2020-01-18
Fetch and run the latest image with
pip install -U colomoto-docker
colomoto-docker -V latest
Packages
| Package | Version | Description |
|---|---|---|
| clingo | 5.4.0 | Answer-Set Programming solver |
| ITSTools | 20180905 | Symbolic model-checker |
| NuSMV | 2.6.0 | Symbolic model-checker |
| MaBoSS | 2.3.0 | Markovian Boolean Stochastic Simulator |
| GINsim | 3.0.0b | Boolean and multi-valued network modelling |
| 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.5.10 | CoLoMoTo Python module |
| GINsim-Python | 0.3.9 | Python interface to GINsim and bioLQM |
| PyMaBoSS | 0.7.9 | Python interface to MaBoSS |
| PyPint | 1.5.2 | Python interface to Pint |
colomoto/colomoto-docker:2020-01-17
Fetch and run the latest image with
pip install -U colomoto-docker
colomoto-docker -V latest
Packages
| Package | Version | Description |
|---|---|---|
| clingo | 5.4.0 | Answer-Set Programming solver |
| ITSTools | 20180905 | Symbolic model-checker |
| NuSMV | 2.6.0 | Symbolic model-checker |
| MaBoSS | 2.3.0 | Markovian Boolean Stochastic Simulator |
| GINsim | 3.0.0b | Boolean and multi-valued network modelling |
| 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.5.10 | CoLoMoTo Python module |
| GINsim-Python | 0.3.9 | Python interface to GINsim and bioLQM |
| PyMaBoSS | 0.7.9 | Python interface to MaBoSS |
| PyPint | 1.5.2 | Python interface to Pint |
colomoto/colomoto-docker:2020-01-16
Fetch and run the latest image with
pip install -U colomoto-docker
colomoto-docker -V latest
Packages
| Package | Version | Description |
|---|---|---|
| clingo | 5.4.0 | Answer-Set Programming solver |
| ITSTools | 20180905 | Symbolic model-checker |
| NuSMV | 2.6.0 | Symbolic model-checker |
| MaBoSS | 2.3.0 | Markovian Boolean Stochastic Simulator |
| GINsim | 3.0.0b | Boolean and multi-valued network modelling |
| 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.5.10 | CoLoMoTo Python module |
| GINsim-Python | 0.3.9 | Python interface to GINsim and bioLQM |
| PyMaBoSS | 0.7.9 | Python interface to MaBoSS |
| PyPint | 1.5.2 | Python interface to Pint |