Results

---

Here are some images from the input files: Cyl.wrl Polygon2.wrl Sphere.wrl Cube_b.wrl

---

And here we have the corresponding .sat files resulted from the program execution: Cyl.sat       Poly2.sat Sph.sat Cube_b.sat

---

Back to home