synth_tools

Back

Normal 0.0331891 0.780252 0.624584 facet normal 0.772981 -0.634316 -0.0119415 facet normal -0.584885 0.805014 0.0993115 facet normal 8.000311e-01 2.797160e-03 -5.999519e-01 facet normal -7.646735e-01 -4.091655e-03 -6.444050e-01 facet normal 0.779905 0.400414 0.481058 vertex -4.69689 -4.43444 7.32632 vertex 4.34627 4.86109 7.33259 vertex 6.45682 -0.18558 7.32632 vertex -0.394998 -6.4137 7.51797 vertex -4.20094 4.78188 7.71954 facet normal 6.444580e-01 8.335477e-04 -7.646392e-01 vertex -1.053855e+02 9.695134e+01 1.047331e+01 facet normal -4.689671e-01 -3.709757e-03 8.832079e-01 vertex -1.052136e+02 9.725134e+01 9.114063e+00 facet normal 0.0827209 -0.0808284 0.993289 vertex -4.3279 -5.83299 7.92316 vertex 1.05741 -7.11568 7.9151 vertex 5.77664 -4.28775 7.9152 facet normal 0.97743 -0.186453 0.0993255 facet normal 9.777724e-001 5.563236e-003 2.095952e-001 vertex 4.030774e+000 1.627112e+000 2.470218e+001 facet normal 0.995174 -0.0974658 0.0113699 vertex -1.0528 7.11659 7.9152 facet normal 0.594398 -0.478901 0.646022 facet normal -4.477256e-001 -7.827114e-001 4.323246e-001 vertex -4.136271e-003 4.639935e+000 2.479508e+001 facet normal 0.552477 -0.109968 -0.826242 vertex 2.68773 -1.08464 18.9318 facet normal -0.392071 0.262789 0.881602 vertex -6.79329 -0.261859 7.03804 facet normal 0.989357 0.0973162 0.108179 facet normal 0.97743 -0.186457 0.0993169 facet normal 0.205751 0.678283 0.705407 vertex 9.09213 3.43962 3.26879 vertex -6.50317 6.85323 3.54602 facet normal 0.488318 -0.595015 -0.638359 facet normal -0.45399 0.891007 0 facet normal -0.989345 -0.0974075 0.108204 facet normal 0.129508 0.7808 0.611211 facet normal -0.7054 0.06948 0.705395 facet normal -0.734388 0.392536 0.553706 facet normal 0.831514 0.555503 1.12285e-07 facet normal -0.768477 0.63066 0.108216 facet normal -0.449667 0.547914 0.7054 facet normal 5.555843e-01 -8.314602e-01 0.000000e+00 vertex -9.500882e+01 1.056905e+02 1.055000e+01 vertex -9.993071e+01 1.056282e+02 2.550000e+00 facet normal 5.305776e-01 5.264215e-03 8.476200e-01 facet normal 5.000000e-001 8.660254e-001 0.000000e+000 vertex 4.575243e+000 -3.392458e+000 1.747200e+001 facet normal 0.241804 0.796836 0.553699 facet normal 0.0943136 0.991505 0.0895749 facet normal 0.195083 0.980787 -0 vertex -2.76756 5.88138 20 vertex 6.25621 -1.7383 20 vertex -0.408138 -6.48717 19.9 facet normal -0.99518 0.0980692 0 facet normal -2.835343e-001 -4.986053e-001 8.191465e-001 vertex 8.339368e-001 -5.510304e+000 2.488700e+001 facet normal -9.534226e-01 -3.016377e-01 7.837633e-06 facet normal -0.55557 -0.83147 -6.71887e-07 facet normal 0.539147 -0.334152 0.773086 facet normal -0.288318 0.956944 0.0336339 facet normal 0.13748 -0.572633 0.808202 facet normal 0.528276 -0.575172 0.624582 facet normal 1.028868e-001 9.946930e-001 0.000000e+000 facet normal 0.116119 0.000195511 0.993235 vertex 5.16186 5.26759 6.86461 vertex 5.23616 5.23616 6.86814 facet normal 0.491333 0.598695 0.632579 facet normal -1.109609e-01 -9.938247e-01 3.470025e-04 vertex -9.678497e+01 9.173365e+01 4.255000e+01 facet normal 0.555569 0.831471 3.34643e-08 vertex -1.53911 -3.01166 6.59 facet normal 9.975497e-001 4.442016e-003 6.982000e-002 vertex -4.008400e+000 7.700729e-001 2.470218e+001 facet normal 0.865137 -0.462425 0.194169 facet normal 0.828719 -0.0816185 0.553682 facet normal -0.758946 -0.0816059 0.64602 facet normal -0.0766184 -0.956715 0.280761 facet normal -9.320166e-01 0.000000e+00 3.624155e-01 vertex -1.044427e+02 9.715134e+01 9.848157e+00 vertex -1.044427e+02 9.715134e+01 9.848157e+00 vertex -1.044427e+02 9.665134e+01 9.848157e+00 facet normal 0.0816302 0.828702 0.553705 facet normal 0.684547 0.728968 0 facet normal 0.290292 -0.950491 0.11089 facet normal 0.634483 0.772937 -0 facet normal 0.0819649 0.0819028 -0.993264 facet normal 0.787357.

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

New Pull Request

Labels Milestones