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 |