wip

diff --git a/Cargo.lock b/Cargo.lock
index 105a39174eab1f853df816bea5b4a35c0536a42b..1851c15a01c00d7da9f5cdc90079a69b7e1cf81e 100644 (file)
--- 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 94a9c699386975f259c4f19af9aac48bff7a0b5f..258e3caf0237c6e4de82d07a4d3972cf0a0005dd 100644 (file)
--- 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 87a9c4790f77f9959e97a7267d37bee95b6b36f8..f6b1870d2336ce2d705e088dc14f3acf8a3e622d 100644 (file)
--- 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>;