Here are two quite remarkable statements from a MIT lecture on CAD (https://stellar.mit.edu/S/course/6/fa19/6.807/courseMaterial... ):
"[there are] ASIC and Parasolid, others are not really as good"
and "[CAD] Research disconnected from reality [compared to CG research]"
One might expect a whole range of CAD kernels floating around, since these kernels are such a fundamental part of civilization in some way. Doesn't seem to be the case, tho..