Labels Milestones
BackVertex 5.62155 1.68133 19.4867 vertex 5.15907 1.48976 19.1916 facet normal 0.595618 0.758295 0.265006 facet normal -0.224824 -0.741148 0.632577 vertex 1.70669 -8.58011 5.33536 facet normal 4.316850e-001 7.581742e-001 4.886921e-001 vertex -5.795556e-001 -4.387151e+000 2.484855e+001 facet normal -2.930761e-004 -5.076226e-004 -9.999998e-001 facet normal -0.0626028 0.0782151 0.994969 vertex 5.83823 -5.47753 19.9426 vertex 5.86658 -5.44339 19.9417 facet normal -3.536207e-01 9.353889e-01 7.046050e-05 vertex -1.001138e+02 1.055560e+02 4.255000e+01 facet normal 0.118607 0.286344 0.950757 vertex 3.17541 0 18.9636 facet normal -0.528256 -0.643709 0.553701 vertex 6.89148 6.89148 3.26879 vertex -9.21464 -2.08528 3.54602 facet normal -5.955997e-001 -2.447308e-003 8.032777e-001 vertex 5.170141e+000 -2.984018e+000 2.488918e+001 facet normal 0.528256 0.643709 0.553701 facet normal -7.070971e-001 -1.829706e-003 7.071140e-001 vertex 5.125004e+000 -2.071941e+000 2.484855e+001 facet normal -9.052805e-01 -2.848077e-03 -4.248047e-01 facet normal 6.030205e-001 7.977257e-001 -0.000000e+000 vertex 5.649070e+000 4.246676e+000 2.496000e+001 vertex 6.771266e+000 2.081886e+000.
- Switches smt_version Merge pull request 'Fix.
- Review "multiple_net_names": "warning", "net_not_bus_member": "warning.
- D-shaped hole, set this.