My first experience with trying to develop against Gtk4 (about a year ago) ran into an issue where none of the example programs in the Gtk repo worked. Apparently the details on how to actually get the program to pick up the now mandatory CSS file were not right? All it did was to convince me to stick with Gtk3 for the meantime.
My hope is to squash the remaining bugs in that code. I'm currently working on an issue with coincident and tangent surfaces.
The constraint solver is available as a library and is currently used in FreeCAD assembly 3 workbench, as well as the Blender CAD Sketcher addon.