Skip to main content

Ctrl+K

The CoLoMoTo Docker and Notebook

Usage

Usage guide
Adding your tool
Versions
Contact

Resources

Use cases
Materials

Software tools

List of embedded tools
ActoNet
- Fixed point reprogramming with ActoNet
AEON.py
bioLQM
- Layouts for displaying regulatory graphs
- BioLQM tutorial
BNS
- BNS tutorial for fixed points and synchronous attractors
BoNesis
- Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis
- Synthesis of Boolean networks from influence graph and dynamical constraints
BooleanNet
- Introduction to BooleanNet
boolSim
- Computing attractors with boolSim
- Computing reachable states with boolSim
BooN
- BooN basic features
CABEAN
- Myeolid reprogramming with CABEAN
Caspo
- Control of Bladder model using Caspo-control
CasQ
CellCollective
- CellCollective Knowledge Base
ERODE
- Reduction of synchronous Boolean networks with ERODE
GINsim
- Regulatory graph visualization with GINsim
MaBoSS
minibn
mpbn
NORDic
- Introduction to NORDic
NuSMV
- NuSMV with GINsim
Pint
- Pint - Quick Tutorial
PyBoolNet
- PyBoolNet tutorial
PyDrugLogics
- Tutorial for PyDrugLogics
pyStableMotifs
- Tutorial for basic usage of pystablemotifs
- pystablemotifs - Control tutorial
R-BoolNet
- R-BoolNet: Random BN generation, loading with biolqm and minibn
scBoolSeq
- scRNA-Seq binarization with scBoolSeq
- scRNA-Seq generation from Boolean dynamics

Repository
Suggest edit
Open issue

.md

Pint

Pint#

Webpage: https://loicpauleve.name/pint — Sources: pauleve/pint

Static analyzer for dynamics of Automata Networks

Notebooks

Pint - Quick Tutorial

previous

NuSMV with GINsim

next

Pint - Quick Tutorial

By Consortium for Logical Models and Tools (CoLoMoTo) - colomoto.org

© Copyright 2024.