Labels Milestones
Back4.667715e-001 8.177221e-001 3.368307e-001 vertex -5.001678e+000 -2.971207e+000 2.473857e+001 facet normal 3.622948e-07 -1.000000e+00 5.810169e-07 facet normal 7.990003e-01 6.013306e-01 3.314663e-04 vertex -9.176090e+01 1.033860e+02 3.455000e+01 facet normal -0.500291 -0.865857 -0.000479761 facet normal -9.791441e-01 2.953629e-03 -2.031455e-01 facet.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after fixes.
- 8.483483e-001 1.747200e+001 facet normal -3.776370e-001 6.477720e-001 6.616508e-001 facet.