Releases: colomoto/colomoto-docker
Releases · colomoto/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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |