diff --git a/.github/workflows/chuffed.yml b/.github/workflows/chuffed.yml
index 3f372b59c..581e7614c 100644
--- a/.github/workflows/chuffed.yml
+++ b/.github/workflows/chuffed.yml
@@ -27,15 +27,15 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
+            solvers/minion/vendor
             solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
@@ -53,15 +53,15 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
+            solvers/minion/vendor
             solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
@@ -82,15 +82,15 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
+            solvers/minion/vendor
             solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
diff --git a/.github/workflows/code-coverage.yml b/.github/workflows/code-coverage.yml
index 31a7a81cb..b1ad8ff3e 100644
--- a/.github/workflows/code-coverage.yml
+++ b/.github/workflows/code-coverage.yml
@@ -42,14 +42,14 @@ jobs:
             echo -e "sha=${{ github.sha }}"
           fi
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
+            ~/.cargo/bin
             ~/.cargo/registry/index
-            ~/.cargo/git/
-            target/            
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
             solvers/minion/vendor
             solvers/chuffed/vendor
 
diff --git a/.github/workflows/doc-coverage.yml b/.github/workflows/doc-coverage.yml
index 7b553ee5a..b3525e0da 100644
--- a/.github/workflows/doc-coverage.yml
+++ b/.github/workflows/doc-coverage.yml
@@ -27,16 +27,16 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
             solvers/minion/vendor
+            solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
           restore-keys: ${{ runner.os }}-${{ env.rust_release }}
@@ -57,15 +57,15 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
+            solvers/minion/vendor
             solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
@@ -87,17 +87,16 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
-            solvers/chuffed/vendor
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
             solvers/minion/vendor
+            solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
           restore-keys: ${{ runner.os }}-${{ env.rust_release }}
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index cec9fb3ad..1bd432497 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -29,14 +29,14 @@ jobs:
             echo -e "sha=${{ github.sha }}"
           fi
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
+            ~/.cargo/bin
             ~/.cargo/registry/index
-            ~/.cargo/git/
-            target/            
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
             solvers/minion/vendor
             solvers/chuffed/vendor
 
diff --git a/.github/workflows/kissat.yml b/.github/workflows/kissat.yml
index a62ec0b5c..4432a7e80 100644
--- a/.github/workflows/kissat.yml
+++ b/.github/workflows/kissat.yml
@@ -27,15 +27,16 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
+            solvers/minion/vendor
+            solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
           restore-keys: ${{ runner.os }}-${{ env.rust_release }}-
@@ -52,15 +53,16 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
           path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
+            solvers/minion/vendor
+            solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
           restore-keys: ${{ runner.os }}-${{ env.rust_release }}-
diff --git a/.github/workflows/minion.yml b/.github/workflows/minion.yml
index 567e549e9..20b1fd0c9 100644
--- a/.github/workflows/minion.yml
+++ b/.github/workflows/minion.yml
@@ -25,16 +25,16 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
-          path: 
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
+          path: |
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
             solvers/minion/vendor
+            solvers/chuffed/vendor
 
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
           restore-keys: ${{ runner.os }}-${{ env.rust_release }}-
@@ -51,16 +51,16 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
-      - name: Set up cache
-        uses: actions/cache@v3
+      - uses: actions/cache@v3
         with:
-          path: 
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/            
+          path: |
+            ~/.cargo/bin
+            ~/.cargo/registry/index
+            ~/.cargo/registry/cache
+            ~/.cargo/git/db
+            target
             solvers/minion/vendor
+            solvers/chuffed/vendor
             
           key: ${{ runner.os }}-${{ env.rust_release }}-${{ github.event.repository.updated_at }}
           restore-keys: ${{ runner.os }}-${{ env.rust_release }}-