After many hours of searching, I finally found this project, which seems to be very promising for geometric constraint solving.
I only managed to find this project after looking into CADmium, and I should have found it way faster after searching these terms.
So I think the terminology "geometric constraint solver" should come up in this project's description, so that more people can find this project.