examples/equilateral.ir.json

{
  "statement": "Equilateral triangle ABC with side length 1.",
  "points": [
    {"name": "A", "hint": [0, 0]},
    {"name": "B", "hint": [1, 0]},
    {"name": "C", "hint": [0.5, 0.866]}
  ],
  "segments": [
    {"a": "A", "b": "B", "draw": true},
    {"a": "B", "b": "C", "draw": true},
    {"a": "C", "b": "A", "draw": true}
  ],
  "constraints": [
    {"type": "equal_length", "a1": "A", "a2": "B", "b1": "B", "b2": "C"},
    {"type": "equal_length", "a1": "B", "a2": "C", "b1": "C", "b2": "A"},
    {"type": "length", "a": "A", "b": "B", "value": 1.0}
  ]
}