用 Rust 从零构建 Delaunay 三角剖分库 delaunay

开发者因 CGAL 依赖 160 多个 C++ 库、反复三角剖分时出现内存泄漏和段错误，放弃 C++ 转而用 Rust 自研 Delaunay 三角剖分库 delaunay。该库以 CGAL 为参考实现，只保留因果动力学三角剖分（CDT）所需功能，并接手了原 delaunay crate 的所有权以兼容原有用户。项目仍处于开发中，作者用 AI 加速迭代，并计划用 Kani 对关键算法做形式化验证。