Setting initial Random seed

[cdcseacave]

Is there a way to set the initial seed for the default random generator in CGAL?

This would be extremely useful to ensure repeatability. For ex in Debug mode I could always set the same seed, and so ensure same result each run.

Thank you!

[afabri]

You can set it this way: CGAL::get_default_random() = CGAL::Random(0);