Remove -Dsat_impl=cadical which is no longer valid

Author: zhassan-aws

.github/workflows/pull-request-checks.yaml

@@ -763,7 +763,7 @@ jobs:
       - name: Zero ccache stats and limit in size
         run: ccache -z --max-size=500M
       - name: Configure CMake
-        run: cmake -S . -Bbuild -G Ninja -DCMAKE_BUILD_TYPE=Release -Dsat_impl=cadical
+        run: cmake -S . -Bbuild -G Ninja -DCMAKE_BUILD_TYPE=Release
       - name: Build using Ninja
         run: ninja -C build -j2
       - name: Print ccache stats