synth_tools

Back

Vertex -1.36686 -7.38567 6.0001 facet normal 2.37262e-05 -0.115822 -0.99327 vertex -4.71011 -0.41258 21.7538 facet normal 0 -0.995043 0.0994409 vertex 0.627905 -9.98027 0 facet normal 8.406740e-02 -9.964600e-01 3.534831e-04 facet normal 0.164775 0.491639 0.855067 vertex -0.469754 -7.24156 6.97207 vertex 5.35776 4.75988 6.96188 facet normal 0.000105909 -0.956911 -0.290382 vertex 1.31069 -3.16429 6.59 vertex -3.16429 -1.31069 18.1498 facet normal -0.995456 0.0673293 -0.0673293 vertex 7.33751 -6.93273 0.0491304 vertex 9.99509 -4.54744e-06 0.0491304 vertex -7.83991 -5.34516 6.17308 vertex -7.9145 -5.54857 3.25404 facet normal -0.0896453 0.0431708 -0.995038 vertex 1.87301 9.81867 0.0427407 facet normal 6.766241e-03 -0.000000e+00 9.999771e-01 vertex -1.068114e+02 9.715134e+01 1.153663e+01 facet normal -0.714676 -0.586516 0.3811 vertex 7.38961 6.86157 2.58057 facet normal -0.950506 0.290244 0.110892 facet normal -4.120040e-001 -9.111820e-001 0.000000e+000 vertex -9.348436e-001 5.545335e+000 9.983999e+000 vertex 1.384484e+000 -6.987365e+000 2.496000e+001 vertex -5.777357e+000 4.011096e+000 2.496000e+001 vertex -5.605745e+000 6.171317e-001 9.983999e+000 vertex -3.465548e+000 6.113461e+000 1.747200e+001 facet normal 0.586516 0.714676 0.3811 facet normal 4.792341e-001 8.386589e-001 2.588163e-001 facet normal 0.463909 0.883084 0.0703601 facet normal 0.400414 0.779905 0.481058 vertex -4.69689 4.43444 7.32632 vertex -6.51059 -0.364032 7.33259 facet normal 0.479434 -0.871941 0.0993106 facet normal 0.554724 0.0419323 0.830977 facet normal -0.225392 -0.184975 0.956547 facet normal -0.0218118 0.172865 0.984704 facet normal 0.634415 0.772993 -4.24978e-06 facet normal 0.471406 0.881916 -0 facet normal -0.678289 0.205786 0.705391 facet normal -0.500093 0.865972 -7.30812e-05 facet normal -4.589969e-01 8.884379e-01 -1.036970e-04 facet normal -0.84476 -0.442038 0.301633 vertex 4.81447 4.25586 7.51797 vertex 4.20094 4.78188 7.71954 facet normal -0.392549 0.734381 0.553705 facet normal -9.369149e-001 -4.173101e-003 3.495326e-001 facet normal -4.395883e-001 7.536206e-001 4.886902e-001 facet normal -0.801127 -0.594344 0.0703596 facet normal -4.926591e-001 8.446025e-001 2.096037e-001 vertex 2.757935e+000 -3.102889e+000 2.475471e+001 facet normal 5.997228e-001 2.252329e-003 8.002046e-001 facet normal 7.851442e-01 -0.000000e+00 6.193130e-01 facet normal 8.244231e-16 -2.375573e-15 -1.000000e+00 facet normal 0.451284 0.844291 0.288991 vertex 3.4335 -8.28921 4.79464 facet normal -0.0316549 -0.0148778 0.999388 vertex 7.01508 -3.85657 19.9472 facet normal -0.0820835 -0.0815518 0.993283 vertex 4.12931 5.39153 7.87036 facet normal -0 -0.0975893 -0.995227 facet normal 3.921799e-001 -6.752338e-001 6.247033e-001 vertex -6.183045e-001 4.315173e+000 2.484855e+001 facet normal 0.630721 -0.768426 0.108223 facet normal -2.908138e-001 -2.214760e-004 9.567796e-001 vertex 5.280442e+000 3.026379e+000 2.495400e+001 facet normal -9.468313e-002 9.955075e-001 0.000000e+000 vertex -5.970783e+000 3.719342e+000 1.747200e+001 facet normal -0.573973 -0.597991 0.55943 vertex 4.54413 5.74517 7.2866 facet normal -1.517838e-06 -1.000000e+00 -4.968678e-07 vertex -1.043309e+02 9.665134e+01 1.164550e+01 facet normal -9.527803e-01 3.036606e-01 0.000000e+00 facet normal 0.0220277 -0.097037 0.995037 vertex 3.43863 8.76148 20.0916 vertex 7.45736 3.59127 19.9688 vertex -8.0058 0 19.942 facet normal 0.950499 -0.290271 0.110881 vertex 6.27889 -0.209414 7.81747 facet normal 9.862182e-01 6.073886e-14 -1.654497e-01 facet normal 0.525863 0.615705 0.586835 facet normal 0.995185 -0.0980148 -3.67514e-06 facet normal 0.000482808 0.116004 0.993249 vertex -1.0528 -7.12884 7.81019 facet normal -9.921674e-01 5.518683e-03 -1.247932e-01 facet normal 9.342429e-01 3.566373e-01 -2.218012e-04.

0.0990124 0.99506 facet normal -0.38808 -0.237822 0.890413 facet.
SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after converting.
4.93725 5.07603 facet normal.

New Pull Request

Labels Milestones