Automated triangle ruler-and-compass constructions using constraint solvers
GNU General Public License v3.0GPL-3.0