Labels Milestones
Back-2.747832e-01 -9.615062e-01 -3.462968e-04 vertex -9.916748e+01 1.058695e+02 2.550000e+00 facet normal -0.243743 -0.188053 0.951433 facet normal 0.816074 0.5453 -0.191498 facet normal -0.0974021 0.99518 0.0113627 facet normal 0.0980148 0.995185 -3.67514e-06 facet normal 0.727319 0.241698 0.642332 vertex 6.63876 -0.319077 7.17054 vertex 4.77601 -4.54597 7.16505 facet normal 0.768425 -0.630723 0.108218 facet normal -0.554737 -0.0546401 0.83023 facet normal 2.788045e-02 9.996113e-01 -0.000000e+00 facet normal -0.840151 -0.533195 0.0992474 facet normal -0.464148 -0.231109 0.855076 vertex -4.75988 -5.35776 6.96188 vertex 7.04362 0.568952 7.06725 vertex -5.45272 4.78839 6.97207 vertex 5.35776 -4.75988 6.96188 vertex 7.04362 -0.568952 7.06725 vertex 5.45272 4.78839 6.97207 vertex 5.35776 -4.75988 6.96188 vertex -5.3829 4.57828 7.06725 vertex 5.45272 -4.78839 6.97207 facet normal -0.900357 -0.423679 0.0992621 vertex -7.43821 -2.945 20 facet normal -0.881857 0.471366 -0.0119411.
- 0.29034 0.956924 -9.5392e-07 facet normal 0.989344 -0.0974275 0.108195.
- And toggle switches smt_version Merge pull request.