Labels Milestones
Back9.940736e-001 vertex -2.820930e+000 3.201554e+000 2.495526e+001 facet normal -0.987688 -0.156434 0 vertex -0.709089 -9.46214 6.17306 vertex 9.77065 1.32079 1.35458 vertex 9.38269 -1.41421 6.17306 vertex 2.04142 9.63313 1.42382 vertex 2.0132 9.30698 4.65942 facet normal 0.681165 0.725369 0.0992665 facet normal 0.338901 -0.181187 0.92321 facet normal -9.352432e-001 -3.366732e-003 3.539899e-001 vertex 4.063672e+000 -2.345819e+000 2.476740e+001 facet normal 0.291196 0.188081 0.937993 facet normal -0.996728 0.0397771 0.07036 facet normal 0.995186 -0.0973393 0.0113559 vertex 5.71699 1.07374 21.335 vertex 5.37951 2.22827 21.335 facet normal 8.577476e-001 3.438094e-003 5.140595e-001 facet normal -0.464683 0.695452 -0.548102 vertex -2.37646 -2.37646 18.4724 vertex -0.4 -2.99543 18.8172 vertex -0.4 3.28125 18.4724 vertex 2.58025 1.95159 18.574 vertex -2.37646 -2.37646 18.4724 facet normal 0.243884 0.297017 0.923202 vertex 7.45476 5.03481 3.82299 vertex 8.35972 3.66179 3.76384 facet normal -0.247464 -0.963798 0.099271 facet normal -2.588559e-001 -1.152516e-003 9.659153e-001 vertex -2.612975e+000 4.473792e+000 2.494118e+001 vertex -1.726257e+000 4.991016e+000 2.494118e+001 facet normal 0.836804 0.462418 0.293136 facet normal -4.264807e-001 -7.467901e-001 5.103124e-001 vertex -4.276118e-003 4.671325e+000 2.484593e+001 facet normal 0.112087 -0.551317 -0.826732 vertex -1.11009 2.67999 18.9335 facet normal -0.0433039 -0.0700998 0.9966 facet normal -0.885456 0.0559778 0.46134 facet.
- @noreply.localhost merged pull request synth_mages/MK_VCO#4 24955050f1.
- Normal -7.556493e-16 -1.379743e-15 -1.000000e+00 facet normal 0.987688.
- SMT updates SMT updates Checkpoint after fixes but.
- -5.87293 0.0486796 facet normal -0.587776 -0.809024 -0.