Labels Milestones
BackNormal 1.575940e-001 2.757893e-001 9.482111e-001 facet normal -0.554724 0.0419323 0.830977 vertex -0.673589 -7.31348 7.09873 facet normal -0.0989222 -0.0149092 -0.994983 facet normal 0.707107 -0.707107 0 facet normal -4.56308e-05 -0.115797 0.993273 facet normal -0.0729258 0.976256 0.203976 facet normal 2.908002e-001 2.368463e-003 9.567809e-001 facet normal -4.127394e-001 7.075913e-001 5.735510e-001 facet normal -0.137479 0.572634 0.808202 facet normal 0.61809 -0.683075 0.389067 vertex -4.41238 5.81619 7.55007 vertex -4.46475 5.79165 7.41914 facet normal -0.654326 -0.271034 0.705973 facet normal -0.773009 -0.634395 0 facet normal 0.00906568 0.644985 0.764141 facet normal -0.714673 -0.538408 0.446497 facet normal 0.584875 -0.805024 0.09928 vertex 4.28661 6.75462 20 facet normal 0.634352 -0.773045 -1.04068e-06 facet normal -0.881923 -0.468218 0.0546202 facet normal 6.428559e-01 2.299961e-03 7.659837e-01 vertex -1.089743e+02 9.695134e+01 5.884033e+00 vertex -1.088952e+02 9.665134e+01 5.816697e+00 facet normal 0.462436.
- In contract, strict liability.
- "warning", "no_connect_dangling": "warning", "pin_not_connected": "error", "pin_not_driven.
- 0.012671 0.705364 0.708732 vertex -7.28282 -0.821781.
- Vertex 4.669177e-002 -5.847422e+000 2.470887e+001 facet.
- 7.37107 -0.303284 6.90571 facet normal -0.0822463 0.0819801 0.993235.