Update dependencies

Cargo.toml

@@ -1,5 +1,3 @@
 [workspace]
-
-members = [
-	"crates/*",
-]
+members = ["crates/*"]
+resolver = "2"

crates/pindakaas/Cargo.toml

@@ -11,22 +11,22 @@ license = "MPL-2.0"
 edition = "2021"
 
 [dependencies]
-cached = "0.40"
+cached = "0.46"
 ipasir = { version = "0.3", features = ["ffi"] }
-iset = "0.1.1"
-itertools = "0.10"
+iset = "0.2"
+itertools = "0.11"
 num = "0.4"
-rustc-hash = "1.1.0"
+rustc-hash = "1.1"
 
 # Optional encoding tracing capabilities
-tracing = { version = "0.1.37", optional = true }
+tracing = { version = "0.1", optional = true }
 
 # Optional Solver Interfaces
 minisat = { git = "https://github.com/luteberget/minisat-rs.git", optional = true } # waiting on release for minisat::Lit::var()
-splr = { version = "0.16", optional = true }
+splr = { version = "0.17", optional = true }
 
 [dev-dependencies]
-splr = { version = "0.16", features = ["incremental_solver"] }
+splr = { version = "0.17", features = ["incremental_solver"] }
 traced_test = { path = "../traced_test" }
 
 [features]

crates/pindakaas/src/lib.rs

@@ -142,11 +142,11 @@ impl<Lit: Literal> fmt::Display for Incomplete<Lit> {
 			1 => write!(f, "Literal {:?} is unasssigned", self.missing[0]),
 			_ => {
 				write!(f, "Literals")?;
-				for pos in self.missing.iter().with_position() {
+				for (pos, lit) in self.missing.iter().with_position() {
 					match pos {
-						Position::First(lit) => write!(f, " {:?}", lit)?,
-						Position::Middle(lit) => write!(f, ", {:?}", lit)?,
-						Position::Last(lit) => write!(f, ", and {:?}", lit)?,
+						Position::First => write!(f, " {:?}", lit)?,
+						Position::Middle => write!(f, ", {:?}", lit)?,
+						Position::Last => write!(f, ", and {:?}", lit)?,
 						_ => unreachable!(),
 					}
 				}