Labels Milestones
Back-5.04736 6.32918 19.9509 facet normal 4.552136e-01 8.903823e-01 9.217512e-05 vertex -9.428938e+01 1.053941e+02 4.255000e+01 facet normal 0.0980237 0.995112 -0.0119421 facet normal 0.988483 -0.0979878 0.115323 facet normal -0.766032 0.0754488 -0.63836 facet normal -0.734388 -0.392536 0.553706 facet normal -0.0363212 0.0926572.
- 0.00746316 -0.0990468 -0.995055 vertex 1.87088 -9.81894 0.0427516 facet.
- From v1.1 SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935 Adding SynthMages.