synth_tools

Back

Normal 0.257143 0.137446 0.956549 facet normal 4.127382e-001 -7.075882e-001 5.735556e-001 vertex -1.643882e+000 4.849796e+000 2.480400e+001 facet normal 8.724472e-001 3.884944e-003 4.886929e-001 facet normal 7.942002e-02 -4.702208e-03 9.968302e-01 vertex -1.063085e+02 9.725134e+01 1.152487e+01 vertex -1.061615e+02 9.695134e+01 1.151175e+01 facet normal 3.562770e-001 -6.107933e-001 7.071056e-001 facet normal 0.91869 -0.264717 0.293144 facet normal 0.705391 0.0694748 0.705406 facet normal 6.013306e-01 -7.990003e-01 0.000000e+00 vertex -9.976002e+01 1.056904e+02 1.055000e+01 vertex -9.539322e+01 1.058130e+02 3.455000e+01 facet normal -9.101271e-01 -1.810032e-03 -4.143253e-01 facet normal 2.548140e-001 4.466467e-001 8.576576e-001 vertex -5.152777e+000 -3.059344e+000 2.492316e+001 facet normal -9.482393e-01 -5.548876e-03 3.175082e-01 facet normal 8.884534e-01 -4.589668e-01 -3.115461e-04 vertex -9.108902e+01 9.542220e+01 1.055000e+01 facet normal 0.77296 -0.634342 -0.0119617 facet normal 4.657735e-001 8.129458e-001 3.495341e-001 vertex -3.410179e+000 -2.719732e+000 2.475471e+001 facet normal -0.730673 0.622319 0.280777 facet normal -4.391291e-002 7.528318e-002 9.961948e-001 facet normal -1.401090e-16 -6.187274e-16 -1.000000e+00 facet normal 0.367398 -0.92475 0.0992818 vertex 4.25779 9.04827 0 facet normal 0.288045 0.957542 -0.0119981 facet normal 9.964596e-01 4.138940e-03 8.397109e-02 vertex -1.093935e+02 9.665134e+01 1.047174e+01 facet normal 0.625095 -0.250151 0.739379 facet normal 0.633162 0.0623609 0.771503 vertex -1.6703 -8.39715 5.56266 facet normal -5.955997e-001 -2.447308e-003 8.032777e-001 vertex 5.170141e+000 -2.984018e+000 2.488918e+001 facet normal 2.999145e-001 -5.145734e-001 8.032842e-001 facet normal 4.492084e-001 -8.934270e-001 0.000000e+000 vertex 4.044623e+000 -2.334935e+000 -1.681500e-003 facet normal -0.528289 -0.575169 0.624573 facet normal -9.369208e-001 -4.172041e-003 3.495167e-001 vertex 4.053005e+000 -8.365188e-001 2.475471e+001 facet normal 4.905636e-002 -8.528755e-002 9.951480e-001 facet normal -8.452758e-01 4.523423e-03 5.343111e-01 vertex -1.045194e+02 9.695134e+01 9.724262e+00 facet normal 0.24747 0.963812 0.0991233 facet normal 4.928173e-001 8.630859e-001 1.105163e-001 vertex -1.581871e+000 -4.915369e+000 2.470218e+001 facet normal 0.703596 -0.707109 0.0703594 facet normal 3.734672e-03 0.000000e+00 -9.999930e-01 facet normal -0.0980045 0.995186 0 vertex 0 -8.33435 5.74921 facet normal -0.101834 -0.119237 0.98763 vertex 4.92823 0.528226 18.8084 facet normal 3.036606e-01 9.527803e-01 0.000000e+00 vertex -1.042160e+02 1.011513e+02 2.550000e+00 facet normal -5.997151e-001 -3.088523e-003 8.002077e-001 vertex 4.155838e+000 -2.398485e+000 2.490742e+001 facet normal -0.0980109 0.00964667 0.995139 vertex 5.31765 5.31765 6.0001 facet normal 0.976251 0.0961519 0.194137 facet normal -0.421013 0.192217 0.886454 vertex 4.68184 -4.87063 7.03353 facet normal -8.592839e-01 4.190219e-03 -5.114818e-01 vertex -1.074403e+02 9.725134e+01 5.581992e+00 facet normal -0.45481 -0.0546005 0.888913 vertex -0.0991955 -6.9395 6.93683 vertex 4.90011 -4.90011 6.9357 vertex 4.68184 4.87063 7.03353 facet normal 2.537099e-001 -4.349543e-001 8.639711e-001 facet normal.

V1.1 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after converting.
7.85113 vertex -4.12613 4.97321 7.83559.
4.29172 5.03912 7.34278 facet.

New Pull Request

Labels Milestones