Recent Releases of colomoto-docker
colomoto-docker - 2025-09-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2025-09-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors | | BoNesis | 0.6.8.1 | Synthesis of Boolean Networks from architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean regulatory networks | | boolSim | 1.2 | Attractors and reachable sets in synchronous and asynchronous Boolean networks | | boolSim-python | 0.5 | Python interface to boolSim | | BooN | 1.28 | Boolean Network Analysis: dynamics, stable states, control | | 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.1 | Reasoning on the response of logical signaling networks with Answer Set Programming | | Caspo-control | 1.0 | Python interface to Caspo | | CaSQ | 1.3.3 | Convert static interaction maps into executable models | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.6 | Python interface to GINsim | | MaBoSS | 2.6.5 | Markovian Boolean Stochastic Simulator | | mpbn | 4.1 | Analysis and simulation of Most Permissive Boolean Networks | | NORDic | 2.6.0 | Network Oriented Repurposing of Drugs | | NuSMV | 2.7.0 | Symbolic model-checker | | Pint | 2019.05.24 | Static analyzer for dynamics of Automata Networks | | PyBoolNet | 3.0.16 | Generation, modification and analysis of Boolean networks | | PyDrugLogics | 0.1.9 | Construct, optimize Boolean Models and perform in-silico perturbations of the models | | PyMaBoSS | 0.8.11 | Python interface to MaBoSS | | PyPint | 1.6.4 | Python interface to Pint | | pyStableMotifs | 3.0.6 | Target-control of Boolean networks | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.3.2 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] 9 months ago
colomoto-docker - 2025-03-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2025-03-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors | | BoNesis | 0.6.7 | Synthesis of Boolean Networks from architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean regulatory networks | | boolSim | 1.2 | Attractors and reachable sets in synchronous and asynchronous Boolean networks | | boolSim-python | 0.5 | Python interface to boolSim | | BooN | 1.28 | Boolean Network Analysis: dynamics, stable states, control | | 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.1 | Reasoning on the response of logical signaling networks with Answer Set Programming | | Caspo-control | 1.0 | Python interface to Caspo | | CaSQ | 1.3.3 | Convert static interaction maps into executable models | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.5 | Python interface to GINsim | | MaBoSS | 2.6.1 | Markovian Boolean Stochastic Simulator | | mpbn | 4.1 | Analysis and simulation of Most Permissive Boolean Networks | | NORDic | 2.6.0 | Network Oriented Repurposing of Drugs | | NuSMV | 2.7.0 | Symbolic model-checker | | Pint | 2019.05.24 | Static analyzer for dynamics of Automata Networks | | PyBoolNet | 3.0.16 | Generation, modification and analysis of Boolean networks | | PyDrugLogics | 0.1.8 | Construct, optimize Boolean Models and perform in-silico perturbations of the models | | PyMaBoSS | 0.8.10 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pyStableMotifs | 3.0.6 | Target-control of Boolean networks | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.2.0 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 1 year ago
colomoto-docker - 2025-02-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2025-02-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors | | BoNesis | 0.6.7 | Synthesis of Boolean Networks from architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean regulatory networks | | boolSim | 1.2 | Attractors and reachable sets in synchronous and asynchronous Boolean networks | | boolSim-python | 0.5 | Python interface to boolSim | | BooN | 1.28 | Boolean Network Analysis: dynamics, stable states, control | | 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.1 | Reasoning on the response of logical signaling networks with Answer Set Programming | | Caspo-control | 1.0 | Python interface to Caspo | | CaSQ | 1.3.3 | Convert static interaction maps into executable models | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.5 | Python interface to GINsim | | MaBoSS | 2.6.0 | Markovian Boolean Stochastic Simulator | | mpbn | 4.1 | Analysis and simulation of Most Permissive Boolean Networks | | NORDic | 2.5.0 | Network Oriented Repurposing of Drugs | | NuSMV | 2.7.0 | Symbolic model-checker | | Pint | 2019.05.24 | Static analyzer for dynamics of Automata Networks | | PyBoolNet | 3.0.16 | Generation, modification and analysis of Boolean networks | | PyDrugLogics | 0.1.8 | Construct, optimize Boolean Models and perform in-silico perturbations of the models | | PyMaBoSS | 0.8.9 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pyStableMotifs | 3.0.6 | Target-control of Boolean networks | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.2.0 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 1 year ago
colomoto-docker - 2025-01-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2025-01-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors | | BoNesis | 0.6.7 | Synthesis of Boolean Networks from architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean regulatory networks | | boolSim | 1.2 | Attractors and reachable sets in synchronous and asynchronous Boolean networks | | boolSim-python | 0.5 | Python interface to boolSim | | BooN | 1.28 | Boolean Network Analysis: dynamics, stable states, control | | 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.1 | Reasoning on the response of logical signaling networks with Answer Set Programming | | Caspo-control | 1.0 | Python interface to Caspo | | CaSQ | 1.3.3 | Convert static interaction maps into executable models | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.5 | Python interface to GINsim | | MaBoSS | 2.6.0 | Markovian Boolean Stochastic Simulator | | mpbn | 3.8 | Analysis and simulation of Most Permissive Boolean Networks | | NORDic | 2.5.0 | Network Oriented Repurposing of Drugs | | NuSMV | 2.6.0 | Symbolic model-checker | | Pint | 2019.05.24 | Static analyzer for dynamics of Automata Networks | | PyBoolNet | 3.0.16 | Generation, modification and analysis of Boolean networks | | PyDrugLogics | 0.1.8 | Construct, optimize Boolean Models and perform in-silico perturbations of the models | | PyMaBoSS | 0.8.9 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pyStableMotifs | 3.0.6 | Target-control of Boolean networks | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.1.0 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 1 year ago
colomoto-docker - 2024-11-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2024-11-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors | | BoNesis | 0.6.7 | Synthesis of Boolean Networks from architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean regulatory networks | | boolSim | 1.2 | Attractors and reachable sets in synchronous and asynchronous Boolean networks | | boolSim-python | 0.5 | Python interface to boolSim | | BooN | 1.26 | Boolean Network Analysis: dynamics, stable states, control | | 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.1 | Reasoning on the response of logical signaling networks with Answer Set Programming | | Caspo-control | 1.0 | Python interface to Caspo | | CaSQ | 1.3.3 | Convert static interaction maps into executable models | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.5 | Python interface to GINsim | | MaBoSS | 2.6.0 | Markovian Boolean Stochastic Simulator | | mpbn | 3.8 | Analysis and simulation of Most Permissive Boolean Networks | | NORDic | 2.5.0 | Network Oriented Repurposing of Drugs | | NuSMV | 2.6.0 | Symbolic model-checker | | Pint | 2019.05.24 | Static analyzer for dynamics of Automata Networks | | PyBoolNet | 3.0.14 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.9 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pyStableMotifs | 3.0.6 | Target-control of Boolean networks | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.1.0 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 1 year ago
colomoto-docker - 2024-10-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2024-10-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 1.1.0 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.6.6 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | boolSim | 1.2 | Computation of attractors and reachable sets in synchronous and asynchronous Boolean Networks | | boolSim-python | 0.5 | Python interface to boolSim | | BooN | 1.26 | Boolean Network Analysis: dynamics, stable states, control | | 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.1 | 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 | 1.3.3 | Convert static interaction maps into executable models | | clingo | 5.7.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.6.0 | Markovian Boolean Stochastic Simulator | | mpbn | 3.8 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.5.0 | Network Oriented Repurposing of Drugs | | 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 | 3.0.14 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.9 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.6 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.1.0 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 1 year ago
colomoto-docker - 2024-09-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2024-09-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.0.9a3 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.6.6 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.3.3 | Convert static interaction maps into executable models | | clingo | 5.7.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.7 | Markovian Boolean Stochastic Simulator | | mpbn | 3.8 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.5.0 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10.post1 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.8 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.6 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.1.0 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 1 year ago
colomoto-docker - 2024-06-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2024-06-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.0.9a3 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.6.5 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.7.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.6 | Markovian Boolean Stochastic Simulator | | mpbn | 3.5 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.5.0 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10.post1 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.7 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.6 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.1.0 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] about 2 years ago
colomoto-docker - 2024-04-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2024-04-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.0.9a3 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.6.5 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.7.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.5 | Markovian Boolean Stochastic Simulator | | mpbn | 3.4 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.4 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10.post1 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.7 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.6 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.0.1 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] about 2 years ago
colomoto-docker - 2024-03-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2024-03-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.0.9a3 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.6.1 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.7.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.4 | Markovian Boolean Stochastic Simulator | | mpbn | 3.3 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.4 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10.post1 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.6 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.6 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.0.1 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 2 years ago
colomoto-docker - 2024-01-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2024-01-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.0.9a2 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.6.1 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.4 | Markovian Boolean Stochastic Simulator | | mpbn | 3.3 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.4 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10.post1 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.6 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.6 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.0.1 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 2 years ago
colomoto-docker - 2023-12-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-12-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.4.0a5 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.6.0 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.3 | Markovian Boolean Stochastic Simulator | | mpbn | 3.3 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.4 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10.post1 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.5 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.4dev1 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.0.1 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 2 years ago
colomoto-docker - 2023-11-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-11-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.3.0 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.5.7 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.3 | Markovian Boolean Stochastic Simulator | | mpbn | 3.3 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.4 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10.post1 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.5 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.4dev1 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.9 | Analysis and reconstruction of Boolean networks dynamics | | scBoolSeq | 2.0.1 | scRNA-Seq data binarisation and synthetic generation from Boolean dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 2 years ago
colomoto-docker - 2023-10-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-10-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.2.0 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.5.7 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.8 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.3 | Markovian Boolean Stochastic Simulator | | mpbn | 3.3 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.4 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.5 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.4dev1 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.8 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 2 years ago
colomoto-docker - 2023-09-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-09-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.2.0 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.5.7 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.7 | CoLoMoTo Python module | | ERODE-Python | 0.7.2 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.2 | Markovian Boolean Stochastic Simulator | | mpbn | 3.3 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.3 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.5 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.4dev1 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.8 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by pauleve over 2 years ago
colomoto-docker - 2023-06-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-06-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.2.0a4 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.5.6 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.7 | CoLoMoTo Python module | | ERODE-Python | 0.7 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.2 | Markovian Boolean Stochastic Simulator | | mpbn | 3.2 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.2 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.5 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.8 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] about 3 years ago
colomoto-docker - 2023-05-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-05-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.2.0a4 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.5.5 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.7 | CoLoMoTo Python module | | ERODE-Python | 0.7 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.2 | Markovian Boolean Stochastic Simulator | | mpbn | 2.0 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.2 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.4 | Python interface to MaBoSS | | PyPint | 1.6.3 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.8 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] about 3 years ago
colomoto-docker - 2023-04-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-04-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.2.0a4 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.5.0 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.4 | CoLoMoTo Python module | | ERODE-Python | 0.7 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.2 | Markovian Boolean Stochastic Simulator | | mpbn | 2.0 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.4.1 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.4 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.8 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] about 3 years ago
colomoto-docker - 2023-03-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-03-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.2.0a4 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.4.93 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.4 | CoLoMoTo Python module | | ERODE-Python | 0.7 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.2 | Markovian Boolean Stochastic Simulator | | mpbn | 2.0 | Brief implementation of Most Permissive Boolean Networks | | NORDic | 2.3.0 | Network Oriented Repurposing of Drugs | | 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 | 3.0.10 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.4 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.8 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 3 years ago
colomoto-docker - 2023-02-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2023-02-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.1.1 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BoNesis | 0.4.92 | Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.4 | CoLoMoTo Python module | | ERODE-Python | 0.7 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.2 | Markovian Boolean Stochastic Simulator | | mpbn | 2.0 | 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 | 3.0.10 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.4 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.7 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 3 years ago
colomoto-docker - 2022-12-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2022-12-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.1.1 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.4 | CoLoMoTo Python module | | ERODE-Python | 0.7 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.1 | Markovian Boolean Stochastic Simulator | | mpbn | 2.0 | 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 | 3.0.9 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.3 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.7 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 3 years ago
colomoto-docker - 2022-10-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2022-10-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.1.1 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.6.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.4 | CoLoMoTo Python module | | ERODE-Python | 0.7 | Backward Boolean Equivalence Reduction of Boolean networks | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.0 | Markovian Boolean Stochastic Simulator | | mpbn | 1.7 | 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 | 3.0.9 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.2 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.7 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 3 years ago
colomoto-docker - 2022-09-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2022-09-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.1.1 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.5.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.4 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.5.0 | Markovian Boolean Stochastic Simulator | | mpbn | 1.7 | 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 | 3.0.9 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.2 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.5 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] over 3 years ago
colomoto-docker - 2022-07-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2022-07-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.1.1 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.5.2 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.4 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.4.1 | Markovian Boolean Stochastic Simulator | | mpbn | 1.7 | 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 | 3.0.9 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.2 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.5 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] almost 4 years ago
colomoto-docker - 2022-05-01
Along the update of various tools, this image includes new tools: * AEON.py for Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks (PR #101) * pystablemotifs for Target-control of Boolean networks, as a replacement of deprecadted StableMotifs (PR #98)
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2022-05-01
Packages
| Package | Version | Description | | --- | --- | --- | | AEON.py | 0.1.1 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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 | 1.0.3 | Convert static interaction maps into executable models | | clingo | 5.5.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.3 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.4.1 | Markovian Boolean Stochastic Simulator | | mpbn | 1.6 | 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 | 3.0.9 | Generation, modification and analysis of Boolean networks | | PyMaBoSS | 0.8.2 | Python interface to MaBoSS | | PyPint | 1.6.2 | Python interface to Pint | | pystablemotifs | 3.0.3 | A PyBoolNet implementation of stable motif algorithms, including oscillation checking. | | R-BoolNet | 2.1.5 | Analysis and reconstruction of Boolean networks dynamics |
- Jupyter Notebook
Published by github-actions[bot] about 4 years ago
colomoto-docker - 2021-10-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2021-10-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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.9.11 | Convert static interaction maps into executable models | | clingo | 5.5.0 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.2 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.4.0 | Markovian Boolean Stochastic Simulator | | mpbn | 1.6 | 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.8.1 | Python interface to MaBoSS | | PyPint | 1.6.2 | 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 |
- Jupyter Notebook
Published by github-actions[bot] over 4 years ago
colomoto-docker - 2021-09-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2021-09-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | 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.9.11 | Convert static interaction maps into executable models | | clingo | 5.5.0 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.2 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.3.4 | Markovian Boolean Stochastic Simulator | | mpbn | 1.6 | 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.19 | Python interface to MaBoSS | | PyPint | 1.6.2 | 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 |
- Jupyter Notebook
Published by github-actions[bot] over 4 years ago
colomoto-docker - 2021-04-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2021-04-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.9.11 | Convert static interaction maps into executable models | | clingo | 5.4.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.1 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.3.4 | Markovian Boolean Stochastic Simulator | | mpbn | 1.4 | 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.19 | Python interface to MaBoSS | | PyPint | 1.6.2 | 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 |
- Jupyter Notebook
Published by github-actions[bot] about 5 years ago
colomoto-docker - 2021-02-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2021-02-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.8.1 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | Python interface to GINsim and bioLQM | | ITSTools | 20210125 | Symbolic model-checker | | MaBoSS | 2.3.4 | Markovian Boolean Stochastic Simulator | | mpbn | 1.4 | 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.19 | Python interface to MaBoSS | | PyPint | 1.6.2 | 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 |
- Jupyter Notebook
Published by github-actions[bot] over 5 years ago
colomoto-docker - 2021-01-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2021-01-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.1 | Answer-Set Programming solver | | colomoto_jupyter | 0.7.90 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | 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.18 | Python interface to MaBoSS | | PyPint | 1.6.2 | 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 |
- Jupyter Notebook
Published by github-actions[bot] over 5 years ago
colomoto-docker - 2020-12-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2020-12-01
Packages
| Package | Version | Description | | --- | --- | --- | | BNS | 1.3 | Identification of synchronous attractors using SAT | | BooleanNet | 1.2.8 | Simulation of Boolean Regulatory networks | | 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.3 | CoLoMoTo Python module | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.3 | 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.18 | 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 |
- Jupyter Notebook
Published by github-actions[bot] over 5 years ago
colomoto-docker - 2020-08-01
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 |
- Jupyter Notebook
Published by github-actions[bot] almost 6 years ago
colomoto-docker - colomoto/colomoto-docker:2020-07-01
Fetch and run this image using
pip install -U colomoto-docker
colomoto-docker -V 2020-07-01
Packages
| Package | Version | Description | | --- | --- | --- | | 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.4 | Convert static interaction maps into executable models | | clingo | 5.4.0 | Answer-Set Programming solver | | colomoto_jupyter | 0.6.5 | 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 | | ActoNet | 1.0 | Abduction-based control of fixed points of Boolean 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 | | StableMotifs | 1 | Target-control of Boolean networks | | StableMotifs-python | 1.0 | Python interface to StableMotifs |
- Jupyter Notebook
Published by github-actions[bot] almost 6 years ago
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 |
- Jupyter Notebook
Published by github-actions[bot] about 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] about 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] about 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] about 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] about 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] about 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] over 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] over 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] over 6 years ago
colomoto-docker - 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 |
- Jupyter Notebook
Published by github-actions[bot] over 6 years ago
colomoto-docker - colomoto/colomoto-docker:2019-12-19
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.9 | CoLoMoTo Python module | | GINsim-Python | 0.3.8 | Python interface to GINsim and bioLQM | | PyMaBoSS | 0.7.9 | Python interface to MaBoSS | | PyPint | 1.5.2 | Python interface to Pint |
- Jupyter Notebook
Published by github-actions[bot] over 6 years ago
colomoto-docker - colomoto/colomoto-docker:2019-12-09
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.9 | CoLoMoTo Python module | | GINsim-Python | 0.3.8 | Python interface to GINsim and bioLQM | | PyMaBoSS | 0.7.8 | Python interface to MaBoSS | | PyPint | 1.5.2 | Python interface to Pint |
- Jupyter Notebook
Published by github-actions[bot] over 6 years ago
colomoto-docker - colomoto/colomoto-docker:2019-11-30
Fetch and run the latest image with
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 | | boolean.py | 3.7 | Python module for Boolean algebra | | colomoto_jupyter | 0.5.8 | CoLoMoTo generic Python module | | GINsim-Python | 0.3.8 | Python interface to GINsim and bioLQM | | PyMaBoSS | 0.7.8 | Python interface to MaBoSS | | PyPint | 1.5.2 | Python interface to Pint |
- Jupyter Notebook
Published by pauleve over 6 years ago
colomoto-docker - colomoto/colomoto-docker:2019-10-04
Fetch and run the latest image with
colomoto-docker -V latest
Upgraded tools
- Jupyter Notebook
Published by pauleve over 6 years ago
colomoto-docker - colomoto/colomoto-docker:2019-07-17
- based on
colomoto/colomoto-docker-base:v1.6.2, bringing- python 3.7
- R and R-Python interface (
rpy2)
- new tool R-BoolNet - see tutorial
- tool updates:
- clingo (5.4)
- colomoto_jupyter (0.5.5)
- pint (2019-05-24)
- pymaboss (0.7.4)
Instructions:
colomoto-docker -V latest # pip install -U colomoto-docker
or
docker pull colomoto/colomoto-docker:2019-07-17
- Jupyter Notebook
Published by pauleve almost 7 years ago