synth_tools

Back

2.095954e-001 facet normal 6.020419e-002 1.068593e-001 9.924498e-001 vertex -4.239579e+000 -2.515929e+000 2.496000e+001 facet normal -7.148682e-16 -1.867343e-17 1.000000e+00 facet normal 0.0938358 0.952717 0.289008 vertex 0 -6.2584 7.81508 facet normal 5.212694e-001 8.533922e-001 -0.000000e+000 vertex 6.948225e+000 1.404741e+000 9.983999e+000 vertex 5.276588e+000 -4.782847e+000 2.496000e+001 vertex 3.541821e+000 4.395136e+000 2.496000e+001 vertex -6.892284e+000 1.461804e+000 9.983999e+000 vertex -1.209642e+000 5.491410e+000 1.747200e+001 facet normal 9.407383e-01 1.422781e-02 3.388348e-01 vertex -9.038341e+01 1.005513e+02 1.203784e+01 vertex -9.043219e+01 1.005513e+02 1.192535e+01 facet normal 4.633939e-01 6.112069e-03 8.861313e-01 vertex -1.086215e+02 9.725134e+01 9.207041e+00 vertex -1.088519e+02 9.725134e+01 9.338879e+00 facet normal -0.479377 -0.87198 0.0992402 facet normal 0.417286 -0.223044 0.880979 facet normal 0.125325 -0.992116 0 facet normal -0.622326 -0.758285 0.194199 vertex -7.20568 7.20568 2.19603 facet normal 8.031600e-001 3.366966e-003 5.957538e-001 facet normal -0.290412 -0.956902 -3.99024e-06 facet normal 0.0819588 -0.0819349 -0.993262 facet normal -1.298810e-14 -1.000000e+00 -6.291011e-15 facet normal -0.0546159 -0.4548 0.888917 facet normal 9.998640e-001 -1.649283e-002 0.000000e+000 vertex -2.407443e+000 -6.689721e+000 1.747200e+001 facet normal -9.958040e-01 -5.082092e-03 9.137079e-02 facet normal -0.382432 0.0376698 0.923216 facet normal -0.768426 0.630721 0.108223 facet normal 0.205786 0.678289 0.705391 facet normal 0.471362 -0.88194 3.9939e-07 facet normal 0.995119 -0.0979557 -0.0119714 facet normal 0.0366054 -0.152473 0.987629 vertex 4.51686 0.737827 18.8084 vertex 4.02158 -1.16465 18.9636 facet normal -3.051877e-07 -1.000000e+00 -6.169139e-07 facet normal 3.562744e-001 -6.107881e-001 7.071113e-001 facet normal 0.976244 -0.096218 0.194139 facet normal -0.88054 0.472777 0.0336276 facet normal 0.995186 -0.0973393 0.0113559 vertex -1.06598 -6.91995 10.3435 vertex 5.71699 -1.07374 21.335 vertex -5.6469 -4.13938 10.3435 facet normal 0.877714 -0.469149 0.0975597 facet normal -0.916108 -0.277897 0.288995 facet normal 0.257269 -0.262733 0.929938 facet normal -0.594398 -0.478901 0.646022 facet normal 0.0938358 -0.952717 0.289008 vertex 8.97218 0 4.79464 facet normal -0.0568312 -0.0727061 0.995733 vertex 7.13918 -0.0610838 6.87866 facet normal 1.778177e-001 -3.074490e-001 9.348027e-001 vertex -4.212699e+000 2.383536e+000 2.495400e+001 facet normal 0.382418 -0.0376647 0.923222 facet normal -0.572633 0.137478 0.808203 facet normal -0.678811 -0.362975 -0.638329 facet normal 9.807820e-01 1.951069e-01 -0.000000e+00 facet normal -3.175489e-15 -5.441933e-15 1.000000e+00 facet normal 0.361949 0.422682 0.830862 vertex 4.83492 -5.54018 6.98312 facet normal 4.803516e-01 8.770760e-01 -3.417321e-04 vertex -1.006624e+02 9.249908e+01 2.550000e+00 facet normal -0.195084 -0.980787 -1.39475e-05 facet normal -0.630682 0.768461 0.108208 facet normal 0.766702 0.634275 0.09931 vertex 7.28969 -6.84547 0 facet normal -0.766708 -0.634279 0.0992472 facet normal 0.264755 -0.918689 0.293113 vertex -4.98277 -4.13938 7.73103 facet normal -0.0217758 -0.172853 0.984707 facet normal 0.0694793 -0.618884 0.782404 facet normal -0.532912 -0.843241 -0.0703492 vertex -3.4666 -8.83276 6.17308 vertex -5.16065 -6.47126 19.9688 facet normal 0.0816302 0.828702 0.553705 facet normal -0.840151 0.533181 0.0993188 facet normal 0.828628 0.0822158 0.55373 facet normal -0.338909 0.18114 0.923217 facet normal -0.773014 0.634388 0 facet normal 0.367735 -0.111552 0.923216 facet normal 7.413586e-01 6.711090e-01 -3.299664e-04 vertex -9.218835e+01 1.038750e+02 2.550000e+00 facet normal -0.900357 -0.423679 0.0992621 vertex -7.43821 2.945 20 vertex 4.14326 -5.00834 20 vertex.

Updates SMT updates

New Pull Request

Labels Milestones