GUDHI / gudhi-devel

The GUDHI library is a generic open source C++ library, with a Python interface, for Topological Data Analysis (TDA) and Higher Dimensional Geometry Understanding.
https://gudhi.inria.fr/
MIT License
245 stars 65 forks source link

Workaround boost::optional that became std::optional on CGAL 6.X #1094

Closed VincentRouvreau closed 5 days ago

VincentRouvreau commented 6 days ago

Fix #1092

Tested with CGAL 5.1, 5.1.5, 5.6.1 and 6.0-I-254.