SolveSpaceのソルバーとOpen_CASCADEカーネルを利用した3DCAD