The following software tools are developed by members of the CoLoMoTo consortium. This list is not exhaustive, please contact us to include new tools.
Logical Qualitative Modelling toolkitJava library for the manipulation and conversion of logical models
BoolNetR package for the simulation, reconstruction and analysis of various types of Boolean networks
The Cell CollectiveWeb-based plateform for the construction and simulation of Boolean models
CellNetAnalyzerA MATLAB package with graphical user interface for structural and functional analysis of cellular networks
CellNOpt (CellNetOptimizer)CellNOpt is a free open-source toolbox for creating logic-based models of signal transduction networks, and training them against high-throughput biochemical data.
EpiLogSimulation of epithelial patterning using multi-cellular multivalued logical models
GINsimJava software for the construction and analysis of multivalued models
Genetic Network Analyzer (GNA)Genetic Network Analyzer (GNA) is a computer tool for the qualitative modeling, analysis, and simulation of gene regulatory networks
JSBMLJava API library for parsing and writing SBML files and for in-memory manipulation of SBML data structures
LogicModelClassifierA comprehensive number of Python scripts that allow the specification, management and analysis of model pools
MaBoSSContinuous time Boolean modeling
PintStatic analyzer for transient dynamics of automata networks
PyBoolNetPython API for the analysis of Boolean networks
SQUAD & BoolSimStandardized continous simulation of logical models
TemporalLogicTimeSeriesTranslates discretized time series data into LTL and CTL specifications for NuSMV model checking