README.md
pyproject.toml
setup.py
src/funman_dreal/__init__.py
src/funman_dreal/_version.py
src/funman_dreal/converter.py
src/funman_dreal/solver.py
src/funman_dreal.egg-info/PKG-INFO
src/funman_dreal.egg-info/SOURCES.txt
src/funman_dreal.egg-info/dependency_links.txt
src/funman_dreal.egg-info/not-zip-safe
src/funman_dreal.egg-info/requires.txt
src/funman_dreal.egg-info/top_level.txt
src/funman_dreal/example/__init__.py
test/test_chime_bilayer_solve.py
test/test_file_io.py
test/test_socket.py
test/test_solver.py