Labels Milestones
Back7.87145 3.78899 12.4715 facet normal 0.262766 0.491602 0.83023 facet normal -0.584623 -0.805187 0.0994426 facet normal 0.262761 0.491592 0.830237 vertex -5.04122 7.99026 3.54602 vertex -3.62355 -8.74802 3.54602 facet normal 0.422682 0.361949 0.830862 vertex 5.62591 -4.72589 7.07423 facet normal -0.840154 -0.533177 0.0993123 facet normal -0.767816 -0.634378 0.0895789 facet normal -0.607317 -0.740025 0.289014 vertex 4.98467 7.46009 4.79464 facet normal 0.555576 -0.831466 -1.03191e-06 facet normal 0.555567 -0.831471 1.34063e-06 facet normal -9.901914e-001 1.397176e-001 0.000000e+000 vertex 5.673623e+000 -2.682343e-001 9.983999e+000 vertex 4.884630e+000 -2.925793e+000 2.496000e+001 vertex -2.111555e+000 3.615334e+000 2.495526e+001 facet normal -0.772555 0.634846 0.0113566 vertex -4.29641 -5.7853 7.81019 facet normal -9.469393e-01 2.035554e-03 -3.214060e-01 facet normal 0.957368 0.115024 0.264982 facet normal -0.273132 0.564081 0.779238 facet normal 0.191481 0.962628 -0.191527 facet normal -0.297072 -0.243764 0.923216 vertex 6.36396 6.36396 4.51216 facet normal 0.0153859 -0.484645 0.874575 facet normal -8.191569e-001 -3.647930e-003 5.735579e-001 vertex 5.084669e+000 -1.901232e-002 2.480400e+001 facet normal 0.977433 0.186445 0.0993092 facet normal 0.129416.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking.
- -0.685181 -0.343415 0.642334 facet normal.
- Year Overview 0 Active Pull Request.