newclid

3.0.1
5.05k

Solver for plane geometric problems.