Labels Milestones
Back-0.173952 6.88408 vertex 5.16004 4.76054 6.94563 vertex -4.97595 5.14541 6.88072 facet normal 0.225389 -0.184972 0.956549 facet normal -0.471404 -0.875977 0.102188 facet normal 6.586109e-001 4.311119e-003 7.524713e-001 vertex -4.118436e+000 -1.694147e+000 2.491820e+001 facet normal -0.840784 0.532182 0.0993189 facet normal 0.0645475 0.533422 0.843383 vertex.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes but.
- 0.0218118 0.172865 0.984704 vertex -5.28814.
- -1.038334e+02 1.020862e+02 4.255000e+01 facet normal 0.124364 0.485049 0.865599.