synth_tools

Back

Vertex 5.64771 -4.69512 7.09873 facet normal -1.458075e-15 1.388642e-15 -1.000000e+00 facet normal -4.729950e-001 8.087673e-001 3.495300e-001 vertex 3.476575e+000 -2.704992e+000 2.480400e+001 facet normal -0.768426 -0.630721 0.108223 facet normal -0.435817 -0.76572 0.473008 facet normal 0.114117 -0.0998673 0.988435 facet normal 0.956945 0.288313 0.0336363 facet normal 9.564191e-01 3.086652e-03 2.919812e-01 facet normal -4.976652e-001 -8.659774e-001 4.911648e-002 facet normal -0.538537 0.459965 0.705981 vertex 6.1206 1.7206 19.8418 vertex 5.4672 -2.22927 19.9 facet normal -0.478838 -0.872279 0.0992143 facet normal 0.993102 0.0624781 0.0992224 vertex 7.93692 1.00267 20 facet normal 0.343415 -0.685181 0.642334 vertex 4.46869 4.91993 7.17054 vertex -4.54597 -4.77601 7.16505 facet normal -0.0127296 -0.705404 0.708692 vertex 0.781299 -7.29119 7.20554 facet normal 0.30557 -0.114495 0.945261 facet normal 0.115483 6.60207e-05 0.993309 facet normal -7.388658e-01 3.468942e-03 -6.738436e-01 facet normal 0.365743 0.30016 0.880986 facet normal 0.195099 -0.980784 -7.13214e-06 vertex -0.4 2.9093 18.8747 vertex -1.2151 2.93351 18.7502 facet normal -0.594612 0.488851 -0.638327 facet normal 0.133707 0.0819149 0.98763 facet normal 3.839834e-02 -4.253891e-03 -9.992535e-01 facet normal -0.0729058 -0.338907 0.937991 facet normal 0.0623605 -0.633165 0.771501 vertex 0 7.49999 6.0001 vertex -6.92909 2.87012 6.0001 vertex 4.16678 6.23601 6.0001 vertex 4.16678 6.23601 6.0001 vertex -6.92909 -2.87012 6.0001 vertex 0 -5.37835 22.0001 vertex -3.84796 -3.74837 22.0001 vertex -1.11698 -5.25446 22.0001 vertex -5.27501 1.04926 22.0001 vertex -1.04926 -5.27501 22.0001 vertex -4.50529 2.92564 22.0001 vertex -2.0582 -4.96895 22.0001 vertex 4.96895 -2.0582 22.0001 vertex -3.80307 3.80307 22.0001 vertex 4.96895 -2.0582 22.0001 vertex 2.98805 4.47193 22.0001 vertex -4.47193 -2.98805 22.0001 vertex 5.27501 -1.04926 22.0001 vertex -1.11698 -5.25446 22.0001 vertex 1.11698 5.25446 22.0001 vertex 5.27501 1.04926 22.0001 vertex 5.37835 0 22.0001 vertex 3.84796 3.74837 22.0001 vertex 4.47193 -2.98805 22.0001 vertex 5.25446 1.11698 22.0001 vertex 1.04926 5.27501 22.0001 vertex 4.47193 -2.98805 22.0001 vertex 2.98805 4.47193 22.0001 vertex 4.47193 -2.98805 22.0001 vertex 1.04926 5.27501 22.0001 vertex -1 7.23463 7.52583 vertex 1 7.30206 6.90928 vertex -1 6.92882 7.8933 vertex 1 6.37595 12.8553 vertex 1 6.37595 12.8553 vertex 1 5.78941 6.73694 vertex -1 7.16683 7.57523 vertex -1 6.92771 7.89317 vertex -1 6.36215 13.3567 vertex 1 4.35446 19.3313 vertex -1 3.18579 20.5 vertex 1 6.9437 7.89503 vertex 1 6.40171 12.8528 vertex 1 7.23463 7.52583 vertex 1 7.20588 7.57063 vertex -1 6.95595 7.79002 vertex 1 6.92882 7.8933 vertex 1 6.92882 7.8933 vertex 1 7.30206 6.90928 vertex -1 5.45679 20.501 vertex -1 6.34847 12.858 vertex 1 6.37595 12.8553 vertex 1 6.40171 12.8528 vertex 1 6.84708 8.58432 vertex 1 5.45679 20.501 vertex -1 6.92882 7.8933 vertex -1 6.43 12.85 facet normal 0.630632 0.768498 0.108232 facet.

Normal 0.816088 -0.545288 -0.191472 facet.
Normal 0.30557 -0.114495 0.945261 facet.
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking footprints.
Normal -0.0285897 0.0942433 0.995139 vertex 5.51093.
0.09928 facet normal 0.0462166 0.587101.

New Pull Request

Labels Milestones