newclid

3.0.1
3.81k

Solver for plane geometric problems.