LICENSE
README.md
pyproject.toml
funasp/__init__.py
funasp/__main__.py
funasp/__version__.py
funasp/app.py
funasp/control.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/syntax_tree/__init__.py
funasp/syntax_tree/_context.py
funasp/syntax_tree/_nodes.py
funasp/syntax_tree/collectors.py
funasp/syntax_tree/types.py
funasp/syntax_tree/parsing/__init__.py
funasp/syntax_tree/parsing/parser.py
funasp/syntax_tree/rewritings/__init__.py
funasp/syntax_tree/rewritings/aggregates.py
funasp/syntax_tree/rewritings/integration.py
funasp/syntax_tree/rewritings/negated_literals.py
funasp/syntax_tree/rewritings/protecting.py
funasp/syntax_tree/rewritings/protecting_operations.py
funasp/syntax_tree/rewritings/showf.py
funasp/syntax_tree/rewritings/some_assignments.py
funasp/syntax_tree/rewritings/to_asp.py
funasp/syntax_tree/rewritings/unnesting/__init__.py
funasp/syntax_tree/rewritings/unnesting/_statement.py
funasp/syntax_tree/rewritings/unnesting/literals.py
funasp/syntax_tree/rewritings/unnesting/rules.py
funasp/tools/__init__.py
funasp/tools/print_ast.py
funasp/util/__init__.py
funasp/util/ast.py
funasp/util/iterables.py
funasp/util/tree_sitter.py
funasp/util/clingox/__init__.py
tests/test_app.py
tests/test_app_patch.py
tests/test_control.py