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