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

---
 Cargo.lock | 18 ++++++++++++++++++
 Cargo.toml |  1 +
 src/lib.rs |  4 ++++
 3 files changed, 23 insertions(+)

diff --git a/Cargo.lock b/Cargo.lock
index 105a391..1851c15 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2,6 +2,24 @@
 # It is not intended for manual editing.
 version = 3
 
+[[package]]
+name = "either"
+version = "1.8.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "90e5c1c8368803113bf0c9584fc495a58b86dc8a29edbf8fe877d21d9507e797"
+
+[[package]]
+name = "itertools"
+version = "0.10.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b0fd2260e829bddf4cb6ea802289de2f86d6a7a690192fbe91b3f46e0f2c8473"
+dependencies = [
+ "either",
+]
+
 [[package]]
 name = "z3-treefoil"
 version = "0.1.0"
+dependencies = [
+ "itertools",
+]
diff --git a/Cargo.toml b/Cargo.toml
index 94a9c69..258e3ca 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -6,3 +6,4 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+itertools = "0.10"
diff --git a/src/lib.rs b/src/lib.rs
index 87a9c47..f6b1870 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -2,10 +2,14 @@
 
 pub use std::io;
 pub use std::io::Write as _;
+pub use std::iter;
+
+pub use itertools::Itertools as _;
 
 pub fn default<T: Default>() -> T { Default::default() }
 
 pub const DIM: usize = 3;
+pub const MAX: Coord = 3; // inclusive
 pub type Coord = i8;
 pub type Point = [Coord; DIM];
 pub type Shape = Vec<Point>;
-- 
2.30.2