wip

diff --git a/src/bin/every-corner.rs b/src/bin/every-corner.rs
new file mode 100644 (file)
index 0000000..a11a6dd
--- /dev/null
+++ b/src/bin/every-corner.rs
@@ -0,0 +1,19 @@
+
+use z3_treefoil::*;
+
+fn main() -> io::Result<()> {
+  for shape in read_vertices() {
+
+    let has_all_corners =
+      iter::repeat([0,MAX].into_iter())
+      .take(DIM)
+      .multi_cartesian_product()
+      .all(|need| shape.iter().any(|got| &got[..]==need));
+
+    if !has_all_corners { continue }
+    
+    print_shape(&shape)?;
+  }
+
+  Ok(())
+}