Name
..
CellCollective
GINsim
MaBoSS
NuSMV
Pint
R-BoolNet
bioLQM
Model creation and edition with minibn.ipynb
Reproducibility - fixpoints.ipynb
Reproducibility - model checking.ipynb