test: add support for features in the sat resolver

Author: x-hgg-x

Cargo.lock

@@ -8,6 +8,7 @@ publish = false
 cargo.workspace = true
 cargo-util-schemas.workspace = true
 cargo-util.workspace = true
+indexmap.workspace = true
 proptest.workspace = true
 varisat.workspace = true