From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 19:09:06 +0000 (+0100)
Subject: wip
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=4685ceca0d75bcd77cb77fd2d42ec511b5ec6667;p=z3-treefoil

wip
---

diff --git a/src/bin/every-corner.rs b/src/bin/every-corner.rs
new file mode 100644
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(())
+}