LICENSE
README.md
pyproject.toml
funasp/__init__.py
funasp/__main__.py
funasp/__version__.py
funasp/app.py
funasp/ast.py
funasp/control.py
funasp/core.py
funasp/solve.py
funasp/symbol.py
funasp.egg-info/PKG-INFO
funasp.egg-info/SOURCES.txt
funasp.egg-info/dependency_links.txt
funasp.egg-info/entry_points.txt
funasp.egg-info/requires.txt
funasp.egg-info/top_level.txt
funasp/rewriting/__init__.py
funasp/rewriting/_context.py
funasp/rewriting/aggregates.py
funasp/rewriting/collectors.py
funasp/rewriting/comparisons.py
funasp/rewriting/constraints.py
funasp/rewriting/integration.py
funasp/rewriting/literals.py
funasp/rewriting/negated_literals.py
funasp/rewriting/prefixes.py
funasp/rewriting/restore.py
funasp/rewriting/some_assignments.py
funasp/rewriting/types.py
funasp/rewriting/unnesting.py
funasp/util/__init__.py
funasp/util/ast.py
funasp/util/iterables.py
tests/test_app.py
tests/test_app_patch.py
tests/test_control.py
tests/test_printer.py