synth_tools

Back

0.483322 -0.869769 0.099509 facet normal 0.090613 -0.920058 0.38116 facet normal 0.0942884 -0.991507 0.0895734 facet normal 9.988974e-01 9.452673e-15 -4.694738e-02 facet normal -0.0555523 -0.706045 0.705985 facet normal 0.0994789 0.021876 -0.994799 vertex 9.99509 -4.54744e-06 0.0491304 vertex -11.2749 -1.69942 0.18985 facet normal -0.584886 0.805016 0.0992871 facet normal -0.111553 0.367742 0.923213 vertex 8.34742 3.33701 3.82299 facet normal -0.0623602 -0.633162 0.771503 facet normal -0.768481 0.630653 0.10823 facet normal 7.614451e-01 -5.127838e-01 3.965528e-01 facet normal 0.0942416 0.028588 0.995139 vertex 6.94785 2.87789 6.0001 facet normal 0.768481 0.630653 0.10823 facet normal 0.767816 0.634378 0.0895789 facet normal 0.737729 -0.601759 0.30601 facet normal 0.956945 0.288313 0.0336363 facet normal -0.115649 -0.00128232 0.993289 vertex -7.18483 1.06427 7.92316 facet normal -0.0426235 -0.554793 0.830896 vertex -0.499373 -7.3432 6.98393 vertex 4.72589 -5.62591 7.07423 vertex -4.83492 -5.54018 6.98312 facet normal 0.284755 0.938725 0.194192 vertex -9.81063 2.33215 2.58057 facet normal 0.472793 0.880533 0.0335807 facet normal -8.761478e-001 -4.820426e-001 0.000000e+000 vertex 5.358002e+000 -1.912462e+000 1.747200e+001 facet normal -0.462433 -0.865129 0.194183 vertex 6.86157 -7.38961 2.58057 facet normal 2.601221e-15 -2.080301e-15 -1.000000e+00 facet normal -0.796859 -0.175921 0.577986 facet normal 0.601759 -0.737729 0.30601 facet normal -0.952376 0.288896 0.0975692 vertex -8.80936 1.81418 4.51215 facet normal -3.036606e-01 -9.527802e-01 3.512332e-04 facet normal 0.353624 -0.430898 0.830227 facet normal -0.538537 0.459965 0.705981 vertex 2.71867 1.22155 19.4867 vertex 1.9667 0 19.8418 facet normal -0.828696 0.0816193 0.553715 facet normal -4.222907e-17 -1.000000e+00 3.538056e-14 vertex -1.071527e+02 9.725134e+01 1.153623e+01 facet normal 0.634804 0.772589 0.0114014 vertex -5.83811 -4.33969 7.81812 facet normal -0.584942 -0.804991 0.0991595 facet normal -4.127378e-001 7.075872e-001 5.735571e-001 facet normal 0.0808284 0.0827209 0.993289 vertex -7.18483 1.06427 7.92316 facet normal -1.605960e-001 2.740506e-001 9.482116e-001 vertex 3.517536e+000 2.782760e+000 2.494118e+001 facet normal -0.466998 0.311849 -0.827443 vertex -2.92547 1.22714 18.7502 vertex -2.48005 -1.89374 18.7502 facet normal -0.284801 -0.909897 0.301622 facet normal 8.884534e-01 -4.589668e-01 3.223788e-04 facet normal 0.100994 -0.992167 0.0735183 vertex -2.97557 -4.24331 21.7998 facet normal 2.497601e-01 9.683077e-01 3.520465e-04 vertex -9.578389e+01 1.059137e+02 2.655000e+01 facet normal 0.312865 0.468219 -0.826369 facet normal -0.00128232 0.115649 0.993289 vertex 4.28385 -5.77925 7.9151 facet normal -0.241727 0.796853 0.553709 facet normal 0.327077 -0.942375 -0.0703567 vertex -8.34127 2.57294 12.5464 facet normal -9.682993e-01 -2.497929e-01 -2.924889e-04 facet normal -0.884723 -0.222395 0.409641 facet normal -0.116097 -3.58571e-05 0.993238 facet normal 0.241725 0.796858 0.553703 vertex -9.67202 -2.27473 2.94279 facet normal -9.503157e-01 -3.112878e-01 8.158233e-06 vertex -8.524144e+01 9.665134e+01 1.561034e+01 facet normal 9.581206e-01 2.863638e-01 -8.203024e-04 facet normal -0.60884 -0.184688 0.771495 facet normal 2.096584e-001 3.669021e-001 9.063256e-001 facet normal.

9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.
0.000000e+000 -9.999998e-001 facet normal.

New Pull Request

Labels Milestones