LICENSE
README.md
pyproject.toml
setup.py
src/funman/__init__.py
src/funman/_version.py
src/funman/constants.py
src/funman/funman.py
src/funman.egg-info/PKG-INFO
src/funman.egg-info/SOURCES.txt
src/funman.egg-info/dependency_links.txt
src/funman.egg-info/not-zip-safe
src/funman.egg-info/requires.txt
src/funman.egg-info/top_level.txt
src/funman/api/__init__.py
src/funman/api/api.py
src/funman/api/client.py
src/funman/api/server.py
src/funman/model/__init__.py
src/funman/model/bilayer.py
src/funman/model/decapode.py
src/funman/model/encoded.py
src/funman/model/gromet.py
src/funman/model/model.py
src/funman/model/query.py
src/funman/model/simulator.py
src/funman/representation/__init__.py
src/funman/representation/representation.py
src/funman/scenario/__init__.py
src/funman/scenario/consistency.py
src/funman/scenario/parameter_synthesis.py
src/funman/scenario/scenario.py
src/funman/scenario/simulation.py
src/funman/search/__init__.py
src/funman/search/box_search.py
src/funman/search/search.py
src/funman/search/smt_check.py
src/funman/translate/__init__.py
src/funman/translate/bilayer.py
src/funman/translate/decapode.py
src/funman/translate/encoded.py
src/funman/translate/gromet.py
src/funman/translate/translate.py
src/funman/utils/__init__.py
src/funman/utils/handlers.py
src/funman/utils/math_utils.py
src/funman/utils/smtlib_utils.py
test/test_api.py
test/test_decapode.py
test/test_param_marginalize.py
test/test_param_space.py
test/test_read_bilayer.py
test/test_toy_param_synth.py
test/test_use_cases.py