synth_tools

Back

0.0992491 vertex -3.40623 7.23862 20 facet normal 0.124702 -0.9872 0.0994275 facet normal -0.163175 0.820341 -0.548101 facet normal -0.449652 0.547909 0.705414 facet normal -0.638679 0.741926 0.204047 facet normal -0.845944 -0.52861 0.0703597 facet normal -0.996728 -0.0397756 0.0703599 facet normal 4.851191e-001 8.489578e-001 2.095952e-001 facet normal -0.615693 -0.525853 0.586857 facet normal 0.0694793 -0.618884 0.782404 vertex -6.57572 0 7.16319 vertex -6.74156 0 7.03201 facet normal 0.584903 0.805014 0.0991981 facet normal -0.782844 -0.468318 0.409675 facet normal -0.0376919 0.272942 0.961292 vertex -0.0610838 -7.13918 6.87866 facet normal -0.331544 0.422843 0.843375 facet normal 0.528246 -0.643673 0.553752 facet normal -8.426097e-01 5.385247e-01 -3.216361e-04 vertex -9.121820e+01 9.519808e+01 2.550000e+00 facet normal -0.338904 0.0729974 0.937985 facet normal -9.715449e-001 2.368556e-001 0.000000e+000 vertex -4.621885e+000 3.208877e+000 9.983999e+000 vertex 6.868123e+000 1.745502e+000 9.983999e+000 vertex -4.781955e+000 -5.239326e+000 1.747200e+001 facet normal -0.309855 -0.748097 0.586806 facet normal 0.370041 -0.603871 0.705981 facet normal -0.0580967 0.0922853 0.994036 facet normal 0.0808315 -0.0820554 0.993344 vertex 5.18289 4.10946 7.85151 facet normal -9.890909e-01 1.261440e-03 1.473011e-01 facet normal -0.0823699 0.081813 0.993238 vertex -5.59382 -4.18518 7.89166 facet normal 0.0580967 0.0922853 0.994036 facet normal -6.149883e-002 -1.061208e-001 9.924496e-001 facet normal -0.946355 -0.307488 0.099312 facet normal 1.510160e-01 2.163423e-03 9.885290e-01 vertex -1.077753e+02 9.725134e+01 8.883403e+00 facet normal -9.938924e-02 2.691911e-03 -9.950450e-01 facet normal -0.0341519 -0.290475 0.956273 vertex -4.958 -5.204 6.88408 vertex 4.76054 -5.16004 6.94563 vertex 7.15688 0.119821 6.88072 vertex 5.06488 4.7897 6.94018 facet normal 0.815359 -0.388724 0.429049 facet normal -0.000107246 0.115912 0.993259 facet normal 0.247465 -0.963794 0.0993104 facet normal -0.00343464 0.09617 0.995359 facet normal 0.225362 -0.544079 0.808201 facet normal 0.0123052 -0.156322 0.98763 facet.

Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes.
Normal 4.933318e-002 8.512802e-002 9.951479e-001.

New Pull Request

Labels Milestones