# TexasSolver Binary Path
# Set this to the absolute path of the console_solver executable
TEXAS_SOLVER_PATH=/path/to/TexasSolver-v0.2.0-MacOs/console_solver
# Optional: Server data directory (defaults to ./data)
# MCP_DATA_DIR=./data
# Optional: Solver execution timeout in milliseconds (defaults to 600000 = 10 minutes)
# SOLVER_TIMEOUT_MS=600000
# Optional: Enable debug logging (defaults to false)
# DEBUG=true