1# Pinned workspace dependencies (installed into .pydeps from the wheels in code/wheels/, SHA-256 verified against PyPI;2# .pydeps/ is not shipped: python3 -m pip install --no-index --target .pydeps code/wheels/*.whl recreates it).3python-sat==1.9.dev174six==1.17.05sympy==1.14.06mpmath==1.3.07# External tools built from source in this run:8# drat-trim: code/tools/drat-trim/drat-trim.c (SHA-256 in drat-trim.c.sha256), gcc -O29# brute_force: code/brute_force.c, gcc -O210# Interpreter: Python 3.14.7 (Homebrew), macOS arm64 (Apple Silicon worker M4M64c, 16 cores)11