Labels Milestones
Back0.0813916 -0.0816537 0.993332 vertex 4.58534 -4.28788 7.81694 facet normal -0.233262 -0.84961 0.473025 facet normal 0.466839 -0.877362 0.110891 facet normal -0.0942416 -0.028588 0.995139 vertex 1.46714 7.3758 6.0001 facet normal -0.123025 -0.987419 0.0993412 facet normal 0.106817 0.137651 0.984704 facet normal 5.356989e-002 9.985641e-001 -0.000000e+000 vertex 5.222623e+000 2.190589e+000 2.496000e+001 vertex -6.593646e+000 2.467701e+000 2.496000e+001 vertex -7.030236e+000 -6.264523e-001 1.747200e+001 facet normal -4.891628e-001 8.376552e-001 2.430093e-001 facet normal 0.595618 -0.758295 0.265006 facet normal 1.304254e-001 -2.235980e-001 9.659157e-001 vertex -5.249867e+000 -2.118137e+000 2.495526e+001 facet normal.
- Modified program normally reads commands interactively when run.
- -6.107933e-001 7.071056e-001 facet normal -0.772965.
- It precisely for repeatability b11a8d3187 Change.
- Switches smt_version Merge pull request 'Finish.