cff-version: 1.2.0
message: If you use this software, please cite it as below.
title: "statement-to-tikz: Constraint-solved TikZ from olympiad geometry statements"
type: software
authors:
  - name: statement-to-tikz contributors
license: MIT
version: 0.1.0
date-released: "2026-07-28"
url: "https://github.com/will702/statement-to-tikz"
repository-code: "https://github.com/will702/statement-to-tikz"
abstract: >-
  Training-free pipeline that formalizes olympiad plane-geometry statements into
  GeometryIR, solves coordinates with SciPy least_squares, and emits verified TikZ.
keywords:
  - geometry
  - tikz
  - olympiad
  - constraint-solver
  - latex
  - formalization