Upstream: github.com/isohedral/heesch-sat @ master, cloned 2026-07-29. Solver: cryptominisat 5.14.7. Build on macOS arm64, clang.
Patches applied to heesch-sat/src:
- Makefile: include/lib paths /usr/local + /opt/local -> /opt/homebrew.
- Makefile: -std=c++17 -> -std=c++20 (tileio.h uses templated-lambda NTTPs).
- isohedral.cpp: add
#includeand#include(libc++ only