From 4685ceca0d75bcd77cb77fd2d42ec511b5ec6667 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 20:09:06 +0100
Subject: [PATCH] wip

---
 src/bin/every-corner.rs | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 src/bin/every-corner.rs

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(())
+}
-- 
2.30.2