README.md
pyproject.toml
logicedit/__init__.py
logicedit/cli.py
logicedit/loader.py
logicedit/models.py
logicedit.egg-info/PKG-INFO
logicedit.egg-info/SOURCES.txt
logicedit.egg-info/dependency_links.txt
logicedit.egg-info/entry_points.txt
logicedit.egg-info/requires.txt
logicedit.egg-info/top_level.txt
logicedit/editors/__init__.py
logicedit/editors/base.py
logicedit/editors/code_editor.py
logicedit/editors/formula_editor.py
logicedit/editors/z3_code_editor.py
logicedit/runners/__init__.py
logicedit/runners/edit_runner.py
logicedit/runners/evaluator.py
logicedit/storage/__init__.py
logicedit/storage/writer.py
logicedit/tools/__init__.py
logicedit/tools/base.py
logicedit/tools/registry.py
logicedit/tools/z3_solver_tool.py
logicedit/z3solver/__init__.py
logicedit/z3solver/code_translator.py
logicedit/z3solver/sat_problem_solver.py
logicedit/z3solver/z3_solver_test.py
tests/test_cli.py
tests/test_loader.py
tests/test_runner.py