synth_tools

Back

Normal 0.634846 -0.772555 0.0113566 vertex -4.29641 -5.7853 7.81019 facet normal -0.224826 0.741154 0.632569 facet normal 7.012965e-01 -6.273328e-03 7.128421e-01 vertex -1.094227e+02 9.725134e+01 7.312023e+00 facet normal -0.595017 -0.488315 -0.63836 facet normal 0.0496984 -0.0860673 0.995049 vertex -4.98675 6.25319 19.9413 facet normal -0.757656 0.64885 -0.0703637 vertex -0.663325 -10.0728 0.0491304 vertex 4.16572 -10.6141 0.18985 facet normal 5.393496e-002 9.438620e-002 9.940736e-001 facet normal 0.0737341 -0.0668214 0.995037 vertex -5.86593 5.44279 19.9506 facet normal -0.995186 0.0973393 0.0113559 vertex 5.71699 1.07374 21.335 vertex -6.91995 -1.06598 10.3435 facet normal -0.250151 0.625095 0.739379 facet normal 0.192238 0.421012 0.88645 facet normal -0.33413 0.625115 0.7054 facet normal 0.615692 0.525858 0.586853 vertex 6.10385 -1.79038 19.9 facet normal -0.989167 0.0992487 0.108159 facet normal -0.991505 0.0943136 0.0895749 facet normal -1.193566e-03 0.000000e+00 9.999993e-01 facet normal -0.0813397 -0.0812122 0.993372 vertex 4.42206 -4.42206 7.81454 facet normal 0.773014 -0.634388 0 vertex 1.31069 3.16429 9.425 vertex 1.54908 3.005 12.85 facet normal 0.124702 -0.9872 0.0994275 facet normal -0.049752 0.0861726 -0.995037 facet normal -0.773058 -0.634335 -0 facet normal 5.477323e-002 -9.390183e-002 9.940736e-001 vertex -6.928051e-001 4.442895e+000 2.495526e+001 facet normal -0.630708 0.768445 0.108161 facet normal -0.081357 0.0817431 0.993327 vertex 4.12613 4.97321 7.83559 facet normal 0.638759 -0.741873 0.203989 facet normal 0.000246232 0.11537 0.993323 vertex -0.598972 -4.80907 21.7653 facet normal 0.977441 0.186457 0.0992125 vertex 9.68583 2.4869 0 facet normal 0.909897 -0.284746 0.301674 facet normal -4.323977e-002 -7.566965e-002 9.961950e-001 vertex 3.531694e+000 4.033369e+000 2.495526e+001 facet normal -0.828702 -0.0816302 0.553705 facet normal -0.0624841 -0.0761186 0.995139 vertex -1.52046 7.64388 5.97318 facet normal 0.920074 -0.090682 0.381103 facet normal -0.257143 -0.137446 0.956549 facet normal -6.869846e-01 -7.266720e-01 0.000000e+00 vertex -9.426339e+01 9.242099e+01 2.655000e+01 facet normal 4.683038e-004 0.000000e+000 -9.999999e-001 facet normal 4.937034e-001 -8.439927e-001 2.096029e-001 vertex -3.428293e+000 2.612886e+000 2.470218e+001 facet normal 0.0822199 -0.0560555 -0.995037 vertex 0.627597 9.97537 0.0490595 facet normal 4.493219e-01 7.207481e-03 8.933408e-01 vertex -1.054929e+02 9.695134e+01 1.134639e+01 facet normal -0.163174 -0.820341 -0.548101 facet normal 0.0694573 -0.618899 0.782394 facet normal -0.0635194 -0.807211 0.586836 vertex 4.01273 -2.44513 19.9 facet normal -0.362633 0.421912 0.830956 facet normal 0.768773 0.630299 0.108219 facet normal 0.189025 -0.787315 0.586859 facet normal -0.0366054 -0.152473 0.987629 vertex 4.4 -1.22459 18.9636 vertex 4.4 -2.07823 19.4867 facet normal -0.768246 0.629688 0.115285 facet normal 0.881919 0.471401 0 vertex -5.69599 3.1314 19.9 facet normal -0.290271 -0.950499 0.110881 facet normal -8.724433e-001 -3.885432e-003 4.887000e-001 vertex 4.067735e+000 -1.520985e-002 2.480400e+001 facet normal 0.979667 0.187887 0.0703595 facet normal.

Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after converting.
Package, often used for a single.

New Pull Request

Labels Milestones