synth_tools

Back

0.000000e+00 -9.999930e-01 facet normal -0.880761 -0.468306 -0.0703599 facet normal 0.049906 -0.0857116 0.995069 vertex -2.95756 -7.53573 19.9509 vertex 7.77665 5.30203 20.0916 facet normal 0.0950804 0.0293273 -0.995038 facet normal 0.491615 -0.164793 0.855078 vertex -7.16112 0.632185 7.08096 vertex -0.671124 -7.28862 7.09583 facet normal -0.552322 -0.106057 -0.826857 vertex -2.9008 0 18.9335 facet normal -0.76848 -0.630655 0.108222 facet normal 0.241732 0.796851 0.553709 facet normal -9.062886e-001 -4.036373e-003 4.226402e-001 facet normal -0.0820835 0.0815518 0.993283 vertex -5.59201 -4.18951 7.89187 facet normal -3.921818e-001 6.752375e-001 6.246982e-001 vertex 6.516484e-001 -4.381669e+000 2.484855e+001 facet normal 0 0.1132 -0.993572 facet normal 0.877365 0.466832 0.110898 facet normal 0.0815518 -0.0820835 0.993283 vertex 4.12931 5.39153 7.87036 facet normal -0.188081 -0.291196 0.937993 facet normal -0.4714 0.88192 -2.43656e-06 facet normal 8.715152e-002 3.880290e-004 9.961950e-001 vertex -5.254437e+000 -1.091603e+000 2.495526e+001 facet normal 1.93619e-06 -0.113203 0.993572 facet normal 3.566057e-01 9.342550e-01 -0.000000e+00 facet normal -0.451284 0.844291 0.288991 facet normal -0.161832 0.533413 0.83023 facet normal -4.018291e-001 -7.028308e-001 5.869943e-001 vertex -4.360807e-003 4.690319e+000 2.486861e+001 facet normal -0.247464 0.963798 0.099271 facet normal 0.734384 -0.392538 0.55371 facet normal -5.477259e-002 9.390085e-002 9.940737e-001 vertex 4.236894e+000 8.067867e-001 2.495526e+001 facet normal 0.603866 -0.370049 0.705981 facet normal -0.629624 0.768293 0.115323 facet normal -0.382459 -0.447822 0.808195 vertex 5.58228 -1.18228 19.1916 facet normal -4.589969e-01 8.884378e-01 3.476991e-04 vertex -1.012112e+02 1.049915e+02 3.455000e+01 facet normal 9.593087e-01 2.495751e-03 -2.823485e-01 facet normal 0.265169 0.618852 0.739397 facet normal 9.402179e-14 -1.000000e+00 -5.923284e-14 facet normal 0.28858 0.951321 0.108209 vertex -1.13596 5.71086 21.335 facet normal -0.946355 -0.307488 0.099312 facet normal -4.395878e-001 7.536201e-001 4.886914e-001 vertex 2.070399e+000 -3.554108e+000 2.484855e+001 facet normal 0.327077 0.942375 -0.0703567 vertex -9.47867 -3.11199 0.0386449 facet normal 0.442581 0.106258 0.890411 facet normal 0.992167 -0.100994 0.0735183 facet normal -0.499767 0.86616 0.000356438 facet normal 0.189025 -0.787315 0.586859 vertex 5.10533 -2.36877 19.9 vertex 2.60962 -1.70385 19.9 facet normal -0.499991 -0.866031 2.04283e-06 facet normal 0.433624 -0.16179 0.88645 facet normal -0.0100873 -0.15129 0.988438 facet normal 3.255692e-001 5.725257e-001 7.524753e-001 vertex -6.125016e-001 -4.444807e+000 2.491820e+001 facet normal 0.962632 0.191481 -0.191508 facet normal -9.804857e-001 -4.851941e-003 1.965305e-001 vertex 4.028750e+000 2.307008e+000 2.470887e+001 facet normal -0.749614 0.288986 0.595454 facet normal -7.748055e-001 6.321996e-001 0.000000e+000 vertex -6.551333e+000 -2.663729e+000 1.747200e+001 facet normal -0.916106 0.277896 0.289006 facet normal 0.555575 -0.831466.

9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b

New Pull Request

Labels Milestones