Dynamic double-description and LRS-backed polyhedral conversion with state-of-the-art performance.
C bindings for howzat backend runner APIs.
PyO3 bindings for howzat backend runner APIs.
Backend spec parsing and high-performance runner API for howzat.