synth_tools

Back

3.083435e-01 vertex -1.052128e+02 9.695134e+01 1.101727e+01 facet normal -0.0961519 0.976251 0.194137 facet normal -0.643682 -0.460542 0.611208 vertex 6.85859 0.790944 7.37319 vertex 0.672644 -6.71541 7.35649 facet normal 0.622313 -0.758301 0.19418 facet normal -0.0817064 0.0814906 0.993319 vertex -4.77321 -4.19228 7.82455 facet normal -0.366316 0.925175 0.0993136 facet normal -0.0820835 -0.0815518 0.993283 vertex 4.12931 5.39153 7.87036 facet normal -4.084597e-01 9.127763e-01 3.490173e-04 vertex -1.008637e+02 1.051965e+02 3.455000e+01 facet normal -0.268379 0.884724 0.381099 facet normal -4.633145e-001 -8.124056e-001 3.540293e-001.

General tools for synth.
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.
Normal -0.0819177 0.0822333 -0.993241 facet.

New Pull Request

Labels Milestones