Labels Milestones
BackVertex 2.728 0 19.1916 vertex 2.91024 -0.759069 19.1916 vertex 3.40929 0.719793 18.9636 vertex 3.68021 0.990711 18.9636 vertex 3.87177 -0.528226 18.8084 facet normal -6.013306e-01 7.990003e-01 0.000000e+00 vertex -9.108902e+01 9.542220e+01 2.655000e+01 facet normal -0.430921 -0.255018 0.865606 facet normal -0.262751 0.491602 0.830234 vertex 8.44684 3.49879 3.76384 vertex 6.50317 6.85323 3.54602 facet normal 3.036606e-01 9.527803e-01 -0.000000e+00 facet normal -0.643664 0.528347 0.553666 facet normal 1.284292e-001 2.247513e-001 9.659155e-001 facet normal -0.286108 -0.952732 0.102199 facet normal 0.740031 0.607321 0.288991 vertex 8.28921 3.4335 4.79464 facet normal 0.435833 -0.815355 0.38111 vertex -4.11794 -9.04239 2.94279 vertex 5.64888 7.91125 3.26879 facet normal 9.730858e-01 3.129910e-03 -2.304220e-01 facet normal 0.0723551 0.301372 0.950757 facet normal 0.243781 -0.297047 0.923219 vertex 5.7167 -6.89515 3.82299 facet normal -0.0974631 0.98934 0.1082 facet normal -0.992162 0.101047 0.0735128 facet normal -0.980801 0.195013 -6.28597e-07 vertex 3.42063 -0.0219903 6.59 facet normal -0.688666 -0.165341 0.705976 facet normal 6.290927e-16 -1.000000e+00 -1.036231e-14 facet normal 2.360004e-15 -8.103531e-16 -1.000000e+00 facet normal -0.532912 -0.843241 -0.0703492 vertex -3.4666 8.83276 6.17309 facet normal 5.357023e-002.
- "label_dangling": "error", "lib_symbol_issues": "warning", More tweaks.
- Updates SMT updates SMT updates.