I am looking for a fast method to compute the approximate volume of the intersection of two polyhedrons. My program runs 20k iterations wherein each iteration I need to compute the volume of difference of two polyhedrons with ~100 vertices each (one of these polyhedrons is stationary, and the other changes its pose in each iteration). I require this program to terminate within a second.
I have tried using Nef_polyhedron_3, but it requires an exact kernel, and thus takes a large amount of time. Next, I tried to use Polygon_mesh_processing::corefine_and_compute_difference, but I could not find a method to convert my Polyhedron_3 to Surface_mesh (without the use of Nef_polyhedron).
I would be really grateful if someone could help me with this problem. Thank you in advance!