Boolean subtraction between Brep models

Is there any code available which performs boolean subtraction between two B-Rep models. I will grateful for any answer


I did it once with this book:

Mäntylä (Maentylae), Martti, An Introduction to Solid Modeling, Rockville: Computer
Science Press, 1988.

But it only works for plane surfaces, so you have to subdivide e.g. spheres.

For a more sophisticated approach use:

Toriya, Chiyokura, 3D CAD, Principles And Applications, Berlin [u.a.]:
Springer Verlag, 1993.

But it’s very hard to understand as it completely builds the engine on nurbs. So you have to calculate the section cut of two nurbs e.g.