newclid

Symbolic solver for geometric problems.