synth_tools

Back

18.9317 vertex -2.93351 -1.2151 18.7502 vertex -2.48005 1.89374 18.7502 vertex 2.92547 1.22714 18.7502 facet normal 6.020419e-002 1.068593e-001 9.924498e-001 vertex -4.239579e+000 -2.515929e+000 2.496000e+001 facet normal 4.705323e-001 -8.082493e-001 3.540232e-001 facet normal -5.477489e-002 9.390465e-002 9.940733e-001 facet normal 2.508444e-15 1.449967e-15 -1.000000e+00 vertex -1.095272e+02 9.965134e+01 1.755000e+01 facet normal 0.714682 0.5865 0.381114 facet normal -8.403365e-02 -9.964629e-01 0.000000e+00 vertex -9.047274e+01 1.008927e+02 1.855000e+01 vertex -9.073916e+01 1.016540e+02 1.855000e+01 facet normal 0.991505 -0.0943136 0.0895749 facet normal -7.314496e-001 -6.818955e-001 0.000000e+000 vertex -3.470161e+000 4.424046e+000 1.747200e+001 facet normal -0.768461 -0.630682 0.108208 facet normal -0.295599 -0.346103 0.890412 facet normal 4.720713e-001 -8.093082e-001 3.495267e-001 vertex -2.733856e+000 3.052276e+000 2.480400e+001 facet normal 0.468627 0.876744 0.108209 vertex -1.19444 5.69312 21.335 facet normal -4.910126e-15 -1.000000e+00 -9.925449e-15 facet normal 0.915282 0.396621 0.0703602 facet normal -5.142143e-001 8.576617e-001 0.000000e+000 vertex 7.494236e-007 9.984000e+000 0.000000e+000 facet normal 2.488500e-001 9.685420e-001 -0.000000e+000 vertex 7.011378e+000 1.060435e+000 2.496000e+001 vertex 2.112323e+000 3.634142e+000 2.495526e+001 facet normal -0.502124 -0.30771 0.808199 vertex 5.88976 -0.759069 19.1916 facet normal -0.00906568 0.644985 0.764141 vertex 5.11681 -4.57918 7.04537 facet normal 0.995186 -0.0980092 3.9263e-06 facet normal 0.00384788 -0.367707 0.929934 facet normal 2.537093e-001 -4.349533e-001 8.639718e-001 vertex -1.361138e+000 3.958752e+000 2.491820e+001 facet normal 0.367742 0.111555 0.923212 vertex -3.47343 -8.29927 3.82299 vertex -10.1904 0 2.19603 vertex 9.91954 1.97312 2.58057 facet normal 3.830637e-02 4.455043e-03 9.992561e-01 vertex -1.071199e+02 9.665134e+01 8.829306e+00 facet normal -0.989344 0.0974275 0.108195 facet normal 0.478901 0.594398 0.646022 facet normal 0.307702 -0.502123 0.808203 vertex 3.64093 -1.48976 19.1916 vertex 5.86953 -1.46953 19.4867 facet normal 0.286094 0.952737 0.102192 facet normal 0.993093 0.0624824 0.0993093 facet normal 2.889548e-004 5.004844e-004 -9.999998e-001 facet normal 0.272878 0.0376859 0.96131 vertex 7.13321 0 6.87796 vertex 5.09136 5.00497 6.87866 facet normal -0.6852 -0.343403 0.64232 facet normal -0.184972 -0.225389 0.956549 facet normal -0.705398 -0.0694843 0.705398 0.705398 vertex 0 -9 4.51215 vertex 0 -7.40505 6.86814 facet normal 8.462654e-01 2.992164e-03 5.327532e-01 facet normal -0.464833 0.31635 -0.826954 vertex -2.05117 -2.05117 18.9335 facet normal -0.462421 -0.865136 0.194181 facet normal -0.988479 0.0980344 0.115322 vertex 0.210331 -6.27431 7.81694 facet normal 0.382337 0.0378714 0.923247 vertex 8.83032 1.72277 3.82299 vertex -1 6.43 13.35 vertex 1 6.43 12.85 vertex 1.31069 3.16429 6.59 vertex -1.17054 -5.88471 6.59 facet normal 0.243768 0.297059 0.923219 vertex 6.38504 6.33827 3.82299 facet normal -0.0974418 -0.989341 0.108212 facet normal.

9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.

New Pull Request

Labels Milestones