LICENSE
README.md
pyproject.toml
math_logic/__init__.py
math_logic/engine.py
math_logic/mcp_server.py
math_logic/router.py
math_logic/solvers/__init__.py
math_logic/solvers/arithmetic_solver.py
math_logic/solvers/sympy_solver.py
math_logic/solvers/z3_solver.py
math_logic_mcp.egg-info/PKG-INFO
math_logic_mcp.egg-info/SOURCES.txt
math_logic_mcp.egg-info/dependency_links.txt
math_logic_mcp.egg-info/entry_points.txt
math_logic_mcp.egg-info/requires.txt
math_logic_mcp.egg-info/top_level.txt
tests/test_solvers.py