Automated generation of planar geometry olympiad problems - View it on GitHub