LICENSE
MANIFEST.in
README.md
pyproject.toml
src/symbolic_reasoning/__init__.py
src/symbolic_reasoning/errors.py
src/symbolic_reasoning/py.typed
src/symbolic_reasoning/recording.py
src/symbolic_reasoning/validation.py
src/symbolic_reasoning/viewer.py
src/symbolic_reasoning.egg-info/PKG-INFO
src/symbolic_reasoning.egg-info/SOURCES.txt
src/symbolic_reasoning.egg-info/dependency_links.txt
src/symbolic_reasoning.egg-info/requires.txt
src/symbolic_reasoning.egg-info/top_level.txt
src/symbolic_reasoning/compiler/__init__.py
src/symbolic_reasoning/compiler/compiler.py
src/symbolic_reasoning/compiler/parser.py
src/symbolic_reasoning/gen/__init__.py
src/symbolic_reasoning/gen/py/__init__.py
src/symbolic_reasoning/gen/py/ast.py
src/symbolic_reasoning/gen/py/srg.py
src/symbolic_reasoning/mcp/__init__.py
src/symbolic_reasoning/mcp/__main__.py
src/symbolic_reasoning/mcp/server.py
src/symbolic_reasoning/models/__init__.py
src/symbolic_reasoning/models/aggregator_logic.py
src/symbolic_reasoning/models/srg.py
src/symbolic_reasoning/models/srg_execution.py
src/symbolic_reasoning/solvers/__init__.py
src/symbolic_reasoning/solvers/auto.py
src/symbolic_reasoning/solvers/protocols.py
src/symbolic_reasoning/solvers/requests.py
src/symbolic_reasoning/solvers/solver.py
src/symbolic_reasoning/tools/__init__.py
src/symbolic_reasoning/tools/models.py
src/symbolic_reasoning/tools/srg_tools.py
src/symbolic_reasoning/viewer_assets/viewer.css
src/symbolic_reasoning/viewer_assets/viewer.html
src/symbolic_reasoning/viewer_assets/viewer.js
src/symbolic_reasoning/viewer_assets/vendor/LICENSE.dagre
src/symbolic_reasoning/viewer_assets/vendor/LICENSE.graphlib
src/symbolic_reasoning/viewer_assets/vendor/README.md
src/symbolic_reasoning/viewer_assets/vendor/dagre.min.js