Labels Milestones
Back-0.00384412 -0.367707 0.929934 vertex 4.99768 -5.42659 6.90571 facet normal 0.996728 0.0397839 -0.0703599 facet normal 0.106825 -0.137635 0.984705 vertex -5.12711 -5.32461 6.87554 facet normal -3.609433e-15 -2.925733e-15 1.000000e+00 facet normal -0.471394 0.881923 0 vertex 6.36396 -6.36396 3.82299 facet normal -4.56308e-05 -0.115797 0.993273 facet normal -0.0979878 -0.988483 0.115323 facet normal 0.834607 0.26838 0.481043 vertex -6.45682 0.18558 7.32632 vertex 4.34627 -4.86109 7.33259 vertex -4.43444 -4.69689 7.32632 vertex 6.51059 0.364032 7.33259 facet normal -4.496487e-001 -7.868856e-001.
- Vertex -9.578366e+01 9.188900e+01 2.655000e+01 facet.
- "error", "pin_not_driven": "error", "pin_to_pin.
- (if permitted under the Apache License.