Only for the constraint solver. Dune uses OCCT for the solid model.
I'm curious why you didn't go with OCCT for Solvespace.
I'm curious why you didn't go with OCCT for Solvespace.