Labels Milestones
BackNormal -0.471394 -0.881923 -0 vertex -0.388301 10.1521 2.19603 vertex -9.8813 -2.36142 2.19603 vertex -9.34401 3.87041 2.58057 vertex -2.33215 -9.81063 2.58057 facet normal -3.817616e-02 3.280157e-03 9.992656e-01 facet normal 0.828689 -0.016946 0.559453 vertex 0.849259 -7.27563 7.2866 facet normal -0.0393352 -0.305328 0.951435 facet normal 9.728792e-01 -3.526264e-03 -2.312871e-01 facet normal -0.223046 0.417289 0.880977 facet normal -0.0727789.
- Normal -0.103782 -0.261482 0.959613 facet.
- -4.720716e-001 8.093097e-001 3.495229e-001 facet normal -0.466998.
- Hex inverter; if this.
- 9.573475e+00 vertex -1.045610e+02 9.665134e+01 9.661099e+00 facet normal 0.308981.
- "no_connect_dangling": "warning", "pin_not_connected": "error", "pin_not_driven": "error", "pin_to_pin": "warning.