synth_tools

Back

1.97652 19.4867 facet normal -6.484954e-01 5.423488e-03 7.611992e-01 facet normal -3.743440e-01 1.124817e-03 9.272892e-01 vertex -1.053051e+02 9.665134e+01 9.071024e+00 facet normal 0.629653 -0.76827 0.115322 facet normal 0.191476 0.962626 -0.191544 facet normal -9.999660e-001 -8.246416e-003 0.000000e+000 vertex 4.403623e+000 -3.613747e+000 9.983999e+000 vertex 4.028628e+000 -4.029531e+000 9.983999e+000 vertex 5.995389e-007 7.987200e+000 9.983999e+000 vertex 1.039424e+000 -7.046255e+000 2.496000e+001 vertex 4.240551e+000 -1.444037e-002 2.495526e+001 facet normal -0.090613 0.920058 0.38116 vertex 9.92995 0.344109 2.94279 facet normal -2.104691e-001 -3.664425e-001 9.063237e-001 vertex 4.372466e+000 3.435654e+000 2.491820e+001 facet normal -8.051843e-01 0.000000e+00 5.930246e-01 vertex -8.438430e+01 1.002513e+02 2.550000e+00 vertex -9.132204e+01 9.890134e+01 4.255000e+01 facet normal 0.243634 0.188037 0.951465 facet normal -0.36774 -0.111504 0.92322 vertex 6.46493 -6.46493 3.76384 facet normal -0.977692 -0.185114 0.0992544 facet normal -2.068560e-15 -1.000000e+00 -1.015992e-14 facet normal 0.499998 0.866026 0 facet normal 0.286109 -0.952735 0.102165 facet normal 4.391191e-002 -7.528147e-002 9.961950e-001 vertex -5.254437e+000 -1.091603e+000 2.495526e+001 facet normal 0.83147 -0.55557 0 facet normal -0.552322 0.106057 -0.826857 vertex 2.90049 0.00317369 18.9333 vertex 2.27697 1.77649 18.9096 facet normal -0.235679 -0.201291 0.950756 facet normal -0.993092 -0.0625041 0.0993092 facet normal 8.715076e-002 3.880389e-004 9.961951e-001 vertex -6.585044e-003 6.117642e+000 2.496000e+001 vertex -1.053366e+000 -7.037627e+000 2.496000e+001 vertex 2.640404e+000 4.542677e+000 2.495526e+001 facet normal 0.768426 -0.630721 0.108223 facet normal 0.367809 0.00348095 0.929895 facet normal -0.302869 0.92061 0.246468 facet normal -0.0868538 0.0464241 0.995139 vertex -7.20038 2.98249 5.97318 facet normal 0.679084 -0.550873 0.485163 facet normal 9.784889e-17 -5.803989e-16 -1.000000e+00 facet normal -4.141702e-01 5.129028e-03 -9.101850e-01 vertex -1.051080e+02 9.725134e+01 1.257556e+01 vertex -1.048734e+02 9.715134e+01 1.245949e+01 facet normal 0.460542 0.643682 0.611208 vertex -6.71541 -0.672644 7.35649 vertex 5.03912 -4.29172 7.34278 vertex -5.20841 4.17623 7.5439 vertex -6.71541 0.672644 7.35649 facet normal 3.983023e-001 6.974492e-001 5.957515e-001 vertex 4.702512e-002 -5.922276e+000 2.484593e+001 facet normal 0.338927 0.181147 0.923209 facet normal 5.352688e-001 -8.446818e-001 0.000000e+000 vertex 4.028628e+000 -4.029531e+000 9.983999e+000 vertex 5.719055e+000 -4.240572e+000 2.496000e+001 vertex 4.028628e+000 -4.029531e+000 1.747200e+001 facet normal -0.807331 -0.063542 0.586667 facet normal 0.483322 0.869769 0.099509 facet normal -1.637712e-15 -2.848846e-16 -1.000000e+00 facet normal -6.716636e-001 -2.828501e-003 7.408509e-001 vertex 5.143733e+000 2.946636e+000 2.488918e+001 facet normal 0.241727 -0.796853 0.553709 facet normal 0.977435 -0.186459 0.0992694 facet normal 0.46392 0.883079 0.0703598 vertex -3.09288 7.88052 17.8205 facet normal 5.021498e-001 -8.602263e-001 8.863533e-002 vertex -2.718918e+000 3.026667e+000 2.470218e+001 facet normal 2.883916e-16 1.282986e-15 -1.000000e+00 facet normal 0.665267 0.39254 0.635084 facet normal -0.0154455 0.484683 0.874554 facet normal 0 0.990927 0.134403 facet normal -0.768293 0.629624 0.115323 vertex 3.27291 3.27291 21.7443 facet normal 8.191569e-001 3.647170e-003 5.735579e-001 facet normal 0.304188 0.463283 -0.832369 vertex 1.60745 2.41466 18.8956 facet normal 6.146307e-01 -4.081095e-03 -7.888045e-01 vertex -1.088239e+02 9.695134e+01 1.240538e+01 facet normal -0.362975 0.678811 -0.638329 facet normal -8.051225e-001 5.931086e-001 0.000000e+000 vertex -3.960817e+000 -5.892582e+000 1.747200e+001 facet normal -0.816076 0.545285 -0.19153 vertex 2.65784 -1.99639 18.3555 facet normal -0.768469 -0.630673 0.108201 facet normal -0.652557.

And compactifies the power subsystem.
Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after converting.

New Pull Request

Labels Milestones