synth_tools

Back

Normal -0.773009 0.634395 0 vertex 8.47298 5.66146 2.19603 vertex 9.91954 -1.97312 2.58057 facet normal 0.573961 -0.597981 0.559454 facet normal 0.290515 0.956797 -0.0118781 facet normal -9.634529e-01 -2.678776e-01 8.013918e-05 facet normal -4.829406e-002 -8.571950e-002 9.951482e-001 facet normal 1.380280e-14 -1.000000e+00 -2.393491e-15 facet normal 9.527700e-01 3.036929e-01 -2.293352e-04 facet normal 9.062994e-001 2.999732e-003 4.226256e-001 vertex 5.052543e+000 2.033953e+000 2.475471e+001 facet normal 4.891599e-001 -8.376511e-001 2.430293e-001 vertex -5.020110e+000 2.838983e+000 2.470887e+001 facet normal 0.366307 -0.925191 0.0992043 vertex 3.40623 7.23862 20 facet normal -9.198330e-01 -3.923101e-01 2.985835e-04 vertex -1.039194e+02 9.589675e+01 4.255000e+01 facet normal 1.600421e-001 -2.743721e-001 9.482123e-001 facet normal 0.00068584 0.115076 0.993356 vertex -0.762348 -6.56738 7.85113 facet normal 8.724472e-001 3.884437e-003 4.886929e-001 facet normal -6.059723e-02 5.494638e-03 9.981472e-01 vertex -1.063183e+02 9.665134e+01 8.848868e+00 vertex -1.064033e+02 9.695134e+01 8.842057e+00 vertex -1.065849e+02 9.665134e+01 8.832685e+00 facet normal -1.234240e-01 -6.561230e-03 9.923323e-01 vertex -1.060534e+02 9.725134e+01 8.881824e+00 facet normal -0.08206 -0.0817216 0.993271 facet normal -0.111553 -0.367742 0.923213 facet normal 3.175671e-15 -5.441821e-15 1.000000e+00 facet normal -8.403365e-02 -9.964629e-01 -0.000000e+00 facet normal 2.570089e-001 -4.389334e-001 8.609785e-001 vertex -4.165757e+000 2.356711e+000 2.493625e+001 facet normal -0.115024 -0.957368 0.264982 facet normal 1.642182e-15 -1.709773e-15 -1.000000e+00 facet normal -9.643665e-01 -2.511020e-03 2.645580e-01 facet normal 0.388502 0.486762 0.782387 facet normal -4.711469e-001 8.098499e-001 3.495192e-001 vertex 6.298102e-001 -4.344231e+000 2.475471e+001 facet normal 0.0981585 -0.995171 0 vertex 1.32743 3.1531 18.1498 facet normal -2.802933e-02 -9.996070e-01 3.536600e-04 facet normal -2.890007e-001 4.954554e-001 8.191474e-001 vertex 3.516540e+000 -3.997110e+000 2.491820e+001 facet normal 0.109912 -0.552086 -0.826511 vertex -1.10704 2.68091 18.9333 facet normal 3.267667e-001 5.718417e-001 7.524763e-001 vertex -1.325534e+000 -4.037360e+000 2.491820e+001 facet normal -8.577476e-001 -3.438094e-003 5.140595e-001 vertex 5.066704e+000 2.901705e+000 2.479508e+001 facet normal -0.288318 0.956944 0.0336339 facet normal -5.086398e-001 -1.419822e-003 8.609782e-001 vertex 4.176901e+000 -2.410522e+000 2.492316e+001 facet normal 0.0921987 0.173186 0.980564 facet normal -2.588559e-001 -1.152516e-003 9.659153e-001 vertex -5.201906e+000 -1.091369e+000 2.494118e+001 facet normal -9.989862e-01 -0.000000e+00 -4.501702e-02 facet normal -0.0224971 0.0985154 -0.994881 vertex -1.8729 -9.81811 0.0484927 facet normal 2.498291e-001 4.372010e-001 8.639680e-001 facet normal 1.440043e-02 7.300644e-03 9.998697e-01 facet normal 0.0980465 0.995182 6.66873e-06 facet normal -0.0980045 0.995186 0 vertex 3.16504 1.30691 6.59 vertex 2.2961 -5.54328 6.59 facet normal 0.665275 0.392534 0.63508 facet normal 0.144952 0.617515 0.773087 vertex -5.07598 -4.42088 7.17947 vertex 4.57918 5.11681 7.04537 vertex -0.463226 -6.71529 7.17947 vertex -6.8561 0.38016 7.04537 facet normal -0.782842 0.468344 0.40965 facet normal 0.0974418 0.989341 0.10821 facet normal -0.780265 -0.0331712 0.624569 facet normal -0.92061 -0.302869 0.246468 facet normal -8.599864e-001 -3.605347e-003 5.103043e-001 vertex 4.086797e+000 -2.359033e+000 2.482134e+001 facet normal 0.634386 -0.773016 0 facet normal 0.839737 -0.533833 0.0993166 facet normal -0.442582 0.106257 0.890411 vertex 3.23535 -0.378418 18.9636 facet normal 0.900356 0.423669 0.0993152 facet normal 0.181238 -0.22956 0.956271 vertex 7.15688 -0.119821 6.88072 vertex 6.96824 0.194578 6.94018 facet normal -5.010448e-001 8.583336e-001 1.105329e-001 vertex 3.440327e+000 -3.866453e+000 2.470218e+001 facet normal -0.257261 -0.262755 0.929934 vertex 5.42659 -4.99768 6.90571 facet normal.

Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 2bd01a1ff2d30ca3cff647bbf3b80645437cc07c

New Pull Request

Labels Milestones