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