synth_tools

Back

3.09564 18.7502 vertex 2.39694 1.84575 18.8154 vertex 2.24521 -2.24521 18.7502 vertex -2.48005 1.89374 18.7502 vertex 2.39694 1.84575 18.8154 vertex 2.24521 2.24521 18.7502 facet normal 0.137901 0.106559 0.984697 vertex 5.16563 5.29418 6.86711 facet normal -0.472795 -0.88053 0.0336363 facet normal 5.735811e-001 2.553783e-003 8.191448e-001 facet normal 0.499997.

-0.0393352 -0.305328 0.951435 facet.
It contains, plus any associated claims.
| S2 | 1 | | C7, C12.

New Pull Request

Labels Milestones