statement-to-tikz

Constraint-solved diagrams from olympiad geometry statements

2026 · Python · SciPy · TikZ · Geometry Constraints

statement-to-tikz

Problem

Turning an olympiad geometry statement into a faithful diagram is slow, while unconstrained generated sketches can look plausible but violate the problem.

Approach

Designed a GeometryIR pipeline that formalizes statements, solves supported geometric constraints with SciPy, emits standalone TikZ, compiles when LaTeX is available, and records residuals.

Result

A public CLI and Python library that produces exact diagrams when residuals pass tolerance and a labeled schematic fallback when a problem is underconstrained or cannot be solved.

11 constraint types

2 output modes

A transparent statement → GeometryIR → solver → TikZ pipeline with residual reporting and a schematic fallback instead of silent failure.