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