Laurent Rineau 88250aee80 Merge pull request #4557 from lrineau/NewKernel_d-det-GF-CGAL-5.0 ... NewKernel_d: Accelerate by using Mpzf instead of Gmpq (CGAL-5.0 and later)		2020-05-27 18:20:14 +02:00
..
CGAL	Merge pull request #4557 from lrineau/NewKernel_d-det-GF-CGAL-5.0	2020-05-27 18:20:14 +02:00