synth_tools

Back

Normal -0.290279 -0.956942 -7.53346e-07 facet normal -0.325732 0.734388 0.595461 facet normal -0.630746 0.768414 0.108161 facet normal 0.365096 -0.683048 0.632574 facet normal -0.144952 -0.617515 0.773087 vertex 4.57918 5.11681 7.04537 vertex 4.40436 5.23815 7.19149 vertex -4.42088 5.07598 7.17947 vertex 4.57918 -5.11681 7.04537 vertex 5.23815 4.40436 7.19149 facet normal -0.11511 -7.7227e-05 0.993353 vertex -6.2584 0 7.81508 facet normal -9.969322e-01 7.826654e-02 -6.701070e-04 vertex -9.020141e+01 9.927685e+01 1.755000e+01 facet normal 1.376774e-01 -2.053091e-04 -9.904771e-01 vertex -1.061828e+02 9.695134e+01 1.022922e+01 facet normal 3.874216e-001 6.779875e-001 6.246899e-001 facet normal -8.08872e-05 -0.113249 0.993567 vertex -0.189947 7.16046 6.89315 facet normal 0.877714 -0.469149 0.0975597 facet normal 0.0572764 0.187658 0.980563 facet normal -6.586227e-001 -2.932799e-003 7.524676e-001 facet normal 0.028589 0.0942412 0.995139 vertex -6.18898 -4.25594 6.0001 facet normal -0.367735 0.111552 0.923216 vertex 5.12136 -7.38374 3.82299 facet normal 0.247473 0.963792 0.0993122 facet normal 0.101834 0.119237 0.98763 facet normal 0.598005 0.573948 0.559441 vertex 4.54413 -5.74517 7.2866 facet normal -0.0156291 0.0930619 0.995538 vertex 3.4084 -7.24322 19.9492 facet normal -0.989167 0.0992487 0.108159 facet normal -1.357119e-12 1.000000e+00 9.445800e-15 facet normal 0.989341 0.0974419 0.108207 facet normal 0.0817217 0.0816274 0.993307 facet normal -0.40362 0.491814 0.771499 facet normal 4.127381e-001 -7.075891e-001 5.735546e-001 facet normal 0.08206 -0.0817216 0.993271 facet normal -4.926600e-001 8.446051e-001 2.095906e-001 vertex 3.467311e+000 -2.689109e+000 2.475471e+001 facet normal -0.48977 0.507679 0.708793 vertex 5.73082 4.56864 7.24568 facet normal 4.720713e-001 -8.093082e-001 3.495267e-001 vertex -3.443231e+000 2.638496e+000 2.480400e+001 facet normal -0.0430222 0.0702523 0.996601 facet normal -7.873540e-01 1.326791e-03 6.164997e-01 vertex -1.083797e+02 9.665134e+01 1.119586e+01 vertex -1.084033e+02 9.665134e+01 1.116563e+01 facet normal 7.071059e-001 1.829370e-003 7.071053e-001 vertex -5.083324e+000 1.988821e+000 2.484855e+001 facet normal -2.129189e-001 3.650234e-001 9.063241e-001 vertex 1.743102e+000 -5.031560e+000 2.491820e+001 facet normal -6.451849e-01 7.640264e-01 -1.440247e-04 facet normal 7.990207e-01 -6.013036e-01 0.000000e+00 vertex -9.435317e+01 9.365127e+01 2.550000e+00 facet normal 4.949276e-001 8.661240e-001 6.982779e-002 vertex -1.978528e+000 -3.524848e+000 2.470218e+001 facet normal -0.0729418 0.0676799 -0.995037 facet normal -4.957561e-001 -8.675735e-001 3.926921e-002 vertex -3.984918e-003 4.605903e+000 2.464800e+001 facet normal -4.856499e-001 8.349587e-001 2.588206e-001 vertex 7.801707e-001 -5.418129e+000 2.470218e+001 facet normal -0.665275 0.392534 0.63508 facet normal -0.876742 -0.46863 0.108209 facet normal 0.111601 0.367723 0.923214 vertex 8.50049 3.32193 3.76384 facet normal 5.080608e-01 8.613212e-01 0.000000e+00 vertex -9.202104e+01 9.410860e+01 3.455000e+01 vertex -9.617936e+01 9.181029e+01 1.055000e+01 facet normal -0.338909 -0.18114 0.923217 facet normal 0.243786 -0.29705 0.923217 facet normal -0.163052 -0.820224 -0.548312 vertex 0.4 3.32616.

-3.21788 -1.04125 6.59 facet normal 0.0840795 -0.0573313 -0.994808.
Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.

New Pull Request

Labels Milestones