synth_tools

Back

Vertex -3.42063 0.0219903 6.59 facet normal 0.634386 -0.773016 0 vertex -6.44874 -0.814666 19.9 vertex 1.95487 0.38727 19.9 facet normal 1.575949e-001 2.757911e-001 9.482105e-001 facet normal 2.508444e-15 1.449967e-15 -1.000000e+00 facet normal -0.560077 -0.682457 0.469645 vertex -4.93725 -7.38912 5.07603 facet normal -0.962691 -0.191173 -0.191515 facet normal -0.119227 -0.101844 0.98763 vertex 4.51398 -0.223703 18.7299 facet normal 6.481132e-01 8.372753e-05 7.615440e-01 facet normal -0.192821 0.747983 0.635092 facet normal 0.807182 -0.0635311 0.586875 facet normal -0.4548 0.0546159 0.888917 facet normal 0.338912 0.181161 0.923211 vertex 3.44415 8.31492 3.82299 facet normal 0.630632 0.768498 0.108232 facet normal 3.255692e-001 5.725257e-001 7.524753e-001 vertex -6.125016e-001 -4.444807e+000 2.491820e+001 facet normal -2.408558e-001 9.705609e-001 0.000000e+000 vertex 5.055779e+000 -2.918668e+000 -1.681500e-003 vertex -4.011280e+000 2.268439e+000 -1.681500e-003 facet normal 0.0645475 -0.533422 0.843383 facet normal -8.242445e-001 -5.662341e-001 0.000000e+000 vertex 6.433005e+000 -3.038559e+000 2.496000e+001 vertex -5.777357e+000 4.011096e+000 1.747200e+001 facet normal 0.545286 -0.816083 -0.191498 facet normal 0.538537 -0.459965 0.705982 vertex 2.71867 -1.22155 19.4867 vertex 5.15907 1.48976 19.1916 facet normal -9.538196e-001 -3.003800e-001 0.000000e+000 vertex -5.605745e+000 6.171317e-001 2.496000e+001 vertex -2.639444e+000 4.519168e+000 2.495526e+001 facet normal -0.225353 -0.544079 0.808204 facet normal 0.995041 -0.00218678 0.0994423 facet normal 0 -0.113198 0.993572 facet normal -1.581495e-001 -2.754702e-001 9.482114e-001 facet normal -1.600434e-001 2.743748e-001 9.482113e-001 facet normal 4.328595e-001 7.575048e-001 4.886913e-001 facet normal -0.08206 -0.0817216 0.993271 facet normal 0.770774 -0.0759126 0.63257 facet normal 0.539147 -0.334131 0.773096 vertex -6.71529 -0.463226 7.17947 vertex -6.8561 -0.38016 7.04537 facet normal 0.634394 -0.77301 1.15672e-06 facet normal 9.996069e-01 -2.803474e-02 0.000000e+00 vertex -9.818951e+01 9.175385e+01 3.455000e+01 vertex -9.539299e+01 9.198978e+01 1.055000e+01 facet normal -0.977435 0.186464 0.0992581 facet normal 0.90056 -0.423245 0.0992753 facet normal -1.165816e-14 -1.000000e+00 6.113595e-15 facet normal -0.049752 0.0861726 -0.995037 facet normal 0.417286 -0.223044 0.880979 facet normal -0.366246 -0.925203 0.0993121 facet normal -1.128790e-13 -1.000000e+00 3.690276e-13 facet normal -1.372543e-01 3.822440e-04 9.905358e-01 facet normal -0.560077 -0.682457 0.469645 vertex 4.93725 7.38912 5.07603 facet normal 0.0348062 0.996914 -0.0703582 vertex -7.83991 -5.34516 6.17309 facet normal -0.0624761 0.0761267 0.995139 vertex -4.25594 6.18898 6.0001 facet normal -0.828628 0.0822158 0.55373 facet normal -2.791431e-02 9.996103e-01 0.000000e+00 vertex -1.018690e+02 1.045247e+02 3.455000e+01 facet normal 0.909897 -0.284746 0.301674 facet normal 0.42307 -0.690389 0.586835 vertex 5.85513 2.00281 19.9 facet normal -0.680038 0.726422 0.0992936 vertex -5.83175 -5.47638 20 facet normal -4.561090e-001 7.804141e-001 4.276895e-001 facet normal 6.269866e-16 -4.480776e-15 1.000000e+00.

-0.265169 -0.618852 0.739397 facet normal.
Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after tweaking.

New Pull Request

Labels Milestones