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