LICENSE
README.md
README_p.md
pyproject.toml
setup.py
one_step_frames/__init__.py
one_step_frames/step_frame_conditions.py
one_step_frames.egg-info/PKG-INFO
one_step_frames.egg-info/SOURCES.txt
one_step_frames.egg-info/dependency_links.txt
one_step_frames.egg-info/top_level.txt
one_step_frames/AST/__init__.py
one_step_frames/AST/core/__init__.py
one_step_frames/AST/core/abstract_operator.py
one_step_frames/AST/core/abstract_syntax_tree.py
one_step_frames/AST/core/ast_util.py
one_step_frames/AST/errors/__init__.py
one_step_frames/AST/errors/ast_error.py
one_step_frames/AST/parser/__init__.py
one_step_frames/AST/parser/nominal.py
one_step_frames/AST/parser/shunting_yard.py
one_step_frames/spass/__init__.py
one_step_frames/spass/spass.py
one_step_frames/spass/util.py
one_step_frames/util/__init__.py
one_step_frames/util/core/__init__.py
one_step_frames/util/core/formula.py
one_step_frames/util/core/nomial.py
one_step_frames/util/core/preprocess.py
one_step_frames/util/core/priority_stack.py
one_step_frames/util/core/simplify.py
one_step_frames/util/core/solution_search.py
one_step_frames/util/core/text_functions.py
one_step_frames/util/core/translate.py
one_step_frames/util/core/translate_util.py
one_step_frames/util/errors/__init__.py
one_step_frames/util/errors/errors.py
one_step_frames/util/rules/__init__.py
one_step_frames/util/rules/ackermann_rules.py
one_step_frames/util/rules/adjunction_rules.py
one_step_frames/util/rules/inference_rules.py
one_step_frames/util/rules/nominal_rules.py
tests/__init__.py
tests/testing.py
tests/AST/__init__.py
tests/AST/testing.py
tests/util/__init__.py
tests/util/testing.py