Labels Milestones
BackNormal 0.0624757 0.0761278 0.995139 vertex -6.94785 -2.87789 6.0001 facet normal -4.077532e-001 6.994046e-001 5.870013e-001 facet normal 0.0981585 -0.995171 0 facet normal 9.413415e-01 4.649372e-03 -3.374233e-01 facet normal 0.500005 0.866022 0 facet normal -0.946351 -0.307486 0.0993545 facet normal 0.587101 0.0461942 0.808194 vertex 4.4 0.251069 18.7299 facet normal -0.865137 -0.462425 0.194169 facet normal -4.323922e-002 -7.566866e-002 9.961951e-001 vertex 5.309830e+000 -2.071118e+000 2.495526e+001 facet normal -0.0694793 -0.618884 0.782404 vertex 0 -9 3.82299 vertex 8.82707 -1.75581 3.82299 facet normal 0.0729058 0.338907 0.937991 facet normal -3.507279e-15 -7.910530e-01 6.117476e-01 facet normal 0.94072 0.331806 -0.0703595 vertex -8.20983 5.40668 1.5173 facet normal -0.678811 -0.362975 -0.638329 facet normal -0.956672 0.290933 -0.0117085 facet normal -9.975508e-001 -4.441443e-003 6.980412e-002 vertex 4.038087e+000 -1.534191e-002 2.470218e+001 facet normal -0.096218 -0.976244 0.194139 facet normal -0.122657 -0.678289 0.724486 facet normal 1.413998e-07 -1.000000e+00 -6.834657e-07 facet normal -8.966089e-01 -4.428233e-01 3.031262e-04 vertex -9.102618e+01 9.553842e+01 4.255000e+01 facet normal 0.262751 -0.491602 0.830234 facet normal -9.270894e-01 3.557204e-03 3.748233e-01 vertex -1.084303e+02 9.695134e+01 1.111985e+01 facet normal 0.109809 0.552145 -0.826485 facet normal -0.103782 0.261482 0.959613 facet normal 0.0580967 -0.0922853 0.994036 facet normal -1.626423e-01 -4.477134e-03 -9.866749e-01 vertex -1.060866e+02 9.665134e+01 1.288266e+01 facet normal -0.367832 0.00399982 0.929883 facet.
- -0.634425 -0.767777 0.0895734 facet.
-
V1.1 SMT updates
- Vertex -5.03912 -4.29172 7.34278.
- - "Incompatible With Secondary Licenses" means (a) the.