Labels Milestones
BackNormal -0.16194 -0.264267 0.950757 facet normal 0.544076 0.225367 0.808202 facet normal 4.849723e-01 -7.073257e-03 8.745009e-01 vertex -1.084793e+02 9.695134e+01 9.130643e+00 facet normal -0.367742 -0.111553 0.923213 vertex 2.55704 8.58402 3.82299 vertex -8.83147 1.71116 3.82299 facet normal -0.370051 -0.603866 0.70598 facet normal 0.452791 -0.137354 0.880973 facet normal -0.0943295 -0.991506 0.089547 vertex 4.13938 -4.98277 7.73103 vertex 4.11812 -5.19155 7.7465 facet normal 7.114110e-01 5.656142e-04 -7.027760e-01 vertex -1.053395e+02 9.665134e+01 1.051169e+01 facet normal 0.748157 -0.309808 0.586754 vertex 2.06904 -0.821707 19.9 vertex 2.60962 1.70385 19.9 vertex 3.64807 -2.3142 19.8418 vertex 2.04556 -0.765005 19.9 facet normal -0.634832 -0.772567 0.0113625 facet normal 0.0729619 0.338843 0.938009 facet normal -0.0221096 -0.172853 0.984699 vertex -0.139654 7.39048 6.87554 facet normal -0.0819688 -0.0815293 0.993295 vertex 4.10478 5.1829 7.85113 facet normal -0.362608 0.422016 0.830914 facet normal 1.458075e-15 -1.388642e-15 -1.000000e+00 facet normal 0.63062 -0.768512 0.108202 facet normal 0.00384788 -0.367707 0.929934 facet normal -7.314496e-001 -6.818955e-001 0.000000e+000 vertex -5.271722e+000 -4.739358e+000 1.747200e+001 facet normal -0.288045 0.957542 -0.0119981 facet normal -0.109809 -0.552145 -0.826485 vertex 0.566007 -2.84551 18.8953 facet normal.
- 7.51042 6.0001 facet normal 0.000000e+00 -1.000000e+00 6.954550e-14 facet.
- Switches smt_version Merge pull request.
- -0.768426 -0.630721 0.108223 facet normal 0.528347 0.643664.
- 0.00120304 -0.102132 -0.99477 facet normal.