newclid

Solver for plane geometric problems.