Fast and Clean: Auditable high-performance assembly via constraint solving. TCHES. 2023;2024(1):87-132. doi:10.46586/tches.v2024.i1.87-132