2/9/2026
•
EN
SMTLIB as a Compiler IR I
Exploring the use of SMT solvers and the SMT-LIB language as an intermediate representation (IR) for compiler design and optimization.