LICENSE
MANIFEST.in
README.md
requirements.txt
setup.py
theoris/__init__.py
theoris/base_symbol.py
theoris/citation.py
theoris/coordinate.py
theoris/data_object.py
theoris/diagram_generator.py
theoris/doc_object.py
theoris/documentation.py
theoris/generation.py
theoris/section.py
theoris/symbol.py
theoris.egg-info/PKG-INFO
theoris.egg-info/SOURCES.txt
theoris.egg-info/dependency_links.txt
theoris.egg-info/requires.txt
theoris.egg-info/top_level.txt
theoris/extensions/__init__.py
theoris/extensions/array.py
theoris/extensions/coordinate_join.py
theoris/extensions/external_function.py
theoris/extensions/function.py
theoris/extensions/interval.py
theoris/generators/__init__.py
theoris/generators/code.py
theoris/generators/documentation.py
theoris/utils/__init__.py
theoris/utils/logging.py
theoris/utils/numpy.py
theoris/utils/ordered_set.py
theoris/utils/symbols.py
theoris/utils/units.py
theoris/utils/sympy/__init__.py
theoris/utils/sympy/latex.py
theoris/utils/sympy/printer.py
theoris/verification/__init__.py
theoris/verification/constraints.py
theoris/verification/pysmt_interface.py
theoris/verification/verification.py