use z3_treefoil::*;
fn main() -> io::Result<()> {
- for shape in read_vertices() {
+ for shape1 in read_vertices() {
- for shape2 in shape_all_flippings(&shape) {
- print_shape(&shape2)?;
+ for shape in shape_all_flippings(&shape1) {
+
+ let mut fromcnrs =
+ (0..DIM)
+ .map(|i| {
+ let minc = shape.iter().map(|p| p[i]).min().unwrap();
+ dbg!(i, minc);
+ minc
+ })
+ .collect_vec();
+ fromcnrs.sort();
+
+ for d in fromcnrs {
+ print!("{}", d);
+ }
+ print!(" ");
+
+ print_shape(&shape)?;
}
+
+ println!("");
}
Ok(())