Fetch and run this image using pip install -U colomoto-docker colomoto-docker -V 2026-03-01 Packages | Package | Version | Description | | --- | --- | --- | | AstroLogics | 0.3.2 | AstroLogics is a Python package designed for analysing monotonous Boolean model ensemble | | AEON.py | 1.3.5 | Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks | | BNS | 1.3 | Identification of synchronous attractors | | BoNesis | 0.6.9 | 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.3 | Reasoning on the response of logical signaling networks with Answer Set Programming | | Caspo-control | 1.0 | Python interface to Caspo | | CaSQ | 1.4.3 | Convert static interaction maps into executable models | | GINsim | 3.0.0b | Boolean and multi-valued network modelling | | GINsim-Python | 0.4.8 | Python interface to GINsim | | MaBoSS | 2.6.5 | Markovian Boolean Stochastic Simulator | | mpbn | 4.3.1 | Analysis and simulation of Most Permissive Boolean Networks | | NORDic | 2.7.1 | Network Oriented Repurposing of Drugs | | NuSMV | 2.7.0 | Symbolic model-checker | | optboolnet | 1.0.1 | An optimization toolbox for Boolean network analysis | | 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.16 | Generation, modification and analysis of Boolean networks | | PyDrugLogics | 0.1.10 | Construct, optimize Boolean Models and perform in-silico perturbations of the models | | PyMaBoSS | 0.8.12 | 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 |