From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 21:05:53 +0000 (+0100)
Subject: wip print-opt-orient
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=bb4c547699bb47d76172d69d3a299b5e6550b944;p=z3-treefoil

wip print-opt-orient

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/bin/print-opt-orient.rs b/src/bin/print-opt-orient.rs
new file mode 100644
index 0000000..70cc60c
--- /dev/null
+++ b/src/bin/print-opt-orient.rs
@@ -0,0 +1,21 @@
+
+use z3_treefoil::*;
+
+fn main() -> io::Result<()> {
+  for shape1 in read_vertices() {
+    let rots = shape_all_rotations(&shape1)
+      .enumerate()
+      .map(|(i, shape)| {
+        let weight = 0;
+        (weight, i, shape)
+      })
+      .collect_vec();
+
+    for (weight, _, shape) in rots {
+      print!("{} ", weight);
+      print_shape(&shape)?;
+    }
+  }
+
+  Ok(())
+}