MANIFEST.in
README.md
cellcollective.py
espresso_setup.py
itstools.py
itstools_setup.py
nusmv.py
nusmv_setup.py
setup.py
colomoto/__init__.py
colomoto/helpers.py
colomoto/minibn.py
colomoto/modelchecking.py
colomoto/setup_helper.py
colomoto/temporal_logics.py
colomoto/types.py
colomoto_jupyter/__init__.py
colomoto_jupyter/config.py
colomoto_jupyter/formatters.py
colomoto_jupyter/io.py
colomoto_jupyter/jupyter_ext.js
colomoto_jupyter/sessionfiles.py
colomoto_jupyter/ui.py
colomoto_jupyter/upload.py
colomoto_jupyter/widget_utils.py
colomoto_jupyter/wui.py
colomoto_jupyter.egg-info/PKG-INFO
colomoto_jupyter.egg-info/SOURCES.txt
colomoto_jupyter.egg-info/dependency_links.txt
colomoto_jupyter.egg-info/requires.txt
colomoto_jupyter.egg-info/top_level.txt
tests/test_cellcollective.py
tests/test_minibn.py