Labels Milestones
Back-2.04871 18.9333 facet normal -7.775532e-01 -6.288171e-01 -3.274316e-04 vertex -9.191964e+01 1.035781e+02 2.550000e+00 facet normal -0.55274 -0.109731 -0.826098 vertex 2.84551 -0.566007 18.8953 facet normal -0.94716 -0.0961108 0.306023 facet normal 2.747832e-01 -9.615062e-01 -3.462318e-04 vertex -9.937561e+01 1.058129e+02 3.455000e+01 facet normal -0.629688 0.768246 0.115285 facet normal 0.401133 -0.913313 -0.0703627 vertex -0.709089 -9.46214 6.17307 facet normal 0.0694748 -0.705391 0.705406 facet normal 0.22956 -0.181238.
- 9.682993e-01 2.497929e-01 -2.366477e-04 facet normal 0.584886 -0.805022 0.0992381.
- Fixes from v1.1 SMT updates SMT updates.
- -0.35 (end -0.5 0 (end.