newclid

3.0.1
3.99k

Solver for plane geometric problems.