LICENSE
README.md
pyproject.toml
funasp/__init__.py
funasp/__main__.py
funasp/__version__.py
funasp/app.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/ast/__init__.py
funasp/ast/_core.py
funasp/ast/_parsing.py
funasp/ast/_rewritings/__init__.py
funasp/ast/_rewritings/aggregates.py
funasp/ast/_rewritings/collectors.py
funasp/ast/_rewritings/comparisons.py
funasp/ast/_rewritings/constraints.py
funasp/ast/_rewritings/context.py
funasp/ast/_rewritings/literals.py
funasp/ast/_rewritings/negated_literals.py
funasp/ast/_rewritings/prefixes.py
funasp/ast/_rewritings/restore.py
funasp/ast/_rewritings/some_assignments.py
funasp/ast/_rewritings/types.py
funasp/ast/_rewritings/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_grounding.py
tests/test_parser.py
tests/test_printer.py