Labels Milestones
BackVertex -5.948193e-001 -4.413863e+000 2.488700e+001 facet normal 5.748339e-01 8.182700e-01 -3.384660e-04 vertex -1.013535e+02 9.290297e+01 2.550000e+00 facet normal 3.036929e-01 -9.527699e-01 3.511617e-04 facet normal 6.703010e-01 2.207629e-03 -7.420860e-01 facet normal 8.314602e-01 5.555843e-01 -0.000000e+00 facet normal -0.573973 -0.597991 0.55943 vertex 5.74517 -4.54413 7.2866 facet normal -0.353597 -0.430898 0.830239 facet normal 0.0819177 0.0822333 -0.993241 vertex 3.82407 2.97699 21.7653 facet normal 4.915357e-001 8.601878e-001 1.359026e-001 vertex -6.905809e-001 -5.424677e+000.
-
Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates
- 3.476575e+000 -2.704992e+000 2.480400e+001 facet normal.