chore: update itertools from 0.14 to 0.15

Author: Dekker1

crates/pindakaas/Cargo.toml

@@ -17,7 +17,7 @@ readme = "../../README.md"
 all-features = true
 
 [dependencies]
-itertools = "0.14"
+itertools = "0.15"
 rustc-hash = "2.0"
 rangelist = "0.5.0"
 

crates/pindakaas/src/cardinality_one.rs

@@ -154,7 +154,7 @@ impl<Db: ClauseDatabase + ?Sized> Encoder<Db, CardinalityOne> for PairwiseEncode
 			at_least_one_clause(db, card1)?;
 		}
 		// For every pair of literals (i, j) add "¬i ∨ ¬j"
-		for (a, b) in card1.lits.iter().copied().tuple_combinations() {
+		for [a, b] in card1.lits.iter().copied().array_combinations() {
 			db.add_clause([!a, !b])?;
 		}
 		Ok(())

crates/pindakaas/src/propositional_logic.rs

@@ -11,7 +11,7 @@ use std::{
 	ops::{BitAnd, BitOr, BitXor, Not},
 };
 
-use itertools::{Itertools, Position};
+use itertools::Itertools;
 use rustc_hash::FxHashSet;
 
 use crate::{BoolVal, ClauseDatabase, ClauseDatabaseTools, Cnf, Encoder, Lit, Result};
@@ -382,10 +382,10 @@ impl Formula<Lit> {
 
 				let mut left = lits.pop().unwrap();
 				for (pos, right) in lits.into_iter().with_position() {
-					let new_name = match pos {
-						Position::Last | Position::Only => name,
-						_ => db.new_var().into(),
-					};
+					let new_name = pos
+						.is_last()
+						.then(|| name)
+						.unwrap_or_else(|| db.new_var().into());
 					// new_name -> (left xor right)
 					db.add_clause([!new_name, !left, !right])?;
 					db.add_clause([!new_name, left, right])?;

crates/pyndakaas/Cargo.toml

@@ -16,7 +16,7 @@ name = "pindakaas"
 crate-type = ["cdylib"]
 
 [dependencies]
-itertools = "0.14"
+itertools = "0.15"
 pindakaas = { version = "0.5.1", path = "../pindakaas", features = ["kissat"] }
 pyo3 = "0.28.3"