Labels Milestones
Back-7.842363e-02 -3.270449e-03 -9.969148e-01 vertex -1.073417e+02 9.665134e+01 1.021420e+01 vertex -1.075046e+02 9.725134e+01 1.022701e+01 facet.
New Pull Request-7.842363e-02 -3.270449e-03 -9.969148e-01 vertex -1.073417e+02 9.665134e+01 1.021420e+01 vertex -1.075046e+02 9.725134e+01 1.022701e+01 facet.
New Pull Request