A while back, when I saw the Inkling presentation I said that my company was working on designing a constraint solving system for CAD. It's just getting started and still very much a work in progress, but it's happening. https://github.com/KittyCAD/ezpz