synth_tools

Back

9.887718e-01 facet normal -0.598712 -0.491347 0.632551 facet normal 0.423019 0.690473 0.586772 facet normal 3.562742e-001 -6.107880e-001 7.071116e-001 vertex -2.546318e+000 4.359515e+000 2.484855e+001 facet normal -0.472777 0.88054 0.0336276 facet normal 9.106134e-01 -1.135808e-03 4.132577e-01 facet normal -7.011925e-01 3.483989e-03 7.129634e-01 vertex -1.047732e+02 9.725134e+01 9.412657e+00 vertex -1.046955e+02 9.665134e+01 9.489068e+00 facet normal 0.900717 -0.422905 0.0992962 facet normal 0.63062 -0.768512 0.108202 facet normal 3.036929e-01 -9.527700e-01 0.000000e+00 vertex -1.045770e+02 9.890134e+01 1.855000e+01 facet normal 7.498072e-001 3.157325e-003 6.616489e-001 facet normal -0.181159 -0.338932 0.923205 facet normal -0.47938 -0.871977 0.0992491 vertex -3.40623 -7.23862 20 facet normal 0.468218 -0.881923 0.0546202 facet normal -0.962631 -0.191482 -0.191512 facet normal 0.740028 -0.607324 0.288991 facet normal 0.081357 -0.0817431 0.993327 vertex -4.18796 -4.77144 7.82405 facet normal 7.070898e-001 4.467161e-003 7.071097e-001 vertex -5.103497e+000 -2.117485e+000 2.488700e+001 facet normal -0.049718 0.0861137 -0.995044 facet normal -7.990003e-01 -6.013306e-01 -3.235123e-04 vertex -9.176074e+01 9.441686e+01 1.055000e+01 facet normal 4.849723e-01 -7.073257e-03 8.745009e-01 vertex -1.084793e+02 9.695134e+01 9.130643e+00 facet normal -9.407388e-01 -3.391319e-01 -3.087800e-04 vertex -1.040802e+02 1.015280e+02 2.550000e+00 facet normal -0.875977 -0.471404 0.102188 vertex 6.43809 -0.596366 7.83604 facet normal -0.481758 -0.876304 0 facet normal 0.125325 0.992116 0 vertex 8.65691 5.31736 2.19603 vertex 8.40938 5.61897 2.58057 facet normal 0.0822158 0.828628 0.55373 facet normal -3.551365e-001 6.114556e-001 7.071069e-001 vertex 8.145605e-001 -5.477086e+000 2.484855e+001 facet normal 4.330093e-01 0.000000e+00 -9.013895e-01 facet normal 5.13299e-06 -0.113204 0.993572 vertex 0.761333 7.32528 6.91193 facet normal -1.810229e-16 -1.619050e-15 -1.000000e+00 facet normal 2.964451e-001 9.550499e-001 0.000000e+000 facet normal 2.497601e-01 9.683077e-01 3.520465e-04 vertex -9.578389e+01 1.059137e+02 2.655000e+01 facet normal -0.452781 -0.137351 0.880979 facet normal -0.0366054 0.152473 0.987629 facet normal 0.430896 0.353629 0.830226 facet normal 1.642182e-15 -1.709773e-15 -1.000000e+00 facet normal -0.844738 -0.44206 0.301663 facet normal -0.472795 0.88053 0.0336363 facet normal -0.462433 0.865129 0.194183 facet normal -0.463913 -0.883082 -0.070359 facet normal 0.388502 0.486762 0.782387 vertex -4.64974 4.64974 7.16319 vertex -6.74156 0 7.03201 facet normal 0.572633 -0.137478 0.808203 facet normal -0.0221389.

8.191458e-001 facet normal -0.876739 0.468635 0.108209 vertex.
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after.

New Pull Request

Labels Milestones