Python tool for generating pictures from geometric constructions

Converting GeoGebra files to simpler construction format:

• ggb_expr.py, ggb_parsetab.py (parsing expressions in GeoGebra)
• read_ggb.py (main file)

ggb-benchmark

Directory containing decoded dataset from GeoGebra http://dev.geogebra.org/trac/browser/trunk/geogebra/test/scripts/benchmark/prover/tests

Decoded constructions to pictures

• random_constr.py (main file)
• preview.py (interactive executable -- use arrows, space bar, escape to quit)

Other files

• geo_types.py (geometric types -- Line, Point, Circle, ...)
• commands.py (implementation of construction commands -- intersection, are_collinear, ...)