jcpaik / sofa-designer

A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL
25Updated last year

Alternatives and similar repositories for sofa-designer:

Users that are interested in sofa-designer are comparing it to the libraries listed below