diff --git a/.github/workflows/check-test.yml b/.github/workflows/check-test.yml
index a20da47f..d009d701 100644
--- a/.github/workflows/check-test.yml
+++ b/.github/workflows/check-test.yml
@@ -26,7 +26,7 @@ jobs:
         shell: bash
         run: |
           if [ "$RUNNER_OS" == "Windows" ]; then
-            cargo build --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical
+            cargo build --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical --exclude rustsat-glucose
           else 
             cargo build --workspace --verbose --features=all
           fi
@@ -34,7 +34,7 @@ jobs:
         shell: bash
         run: |
           if [ "$RUNNER_OS" == "Windows" ]; then
-            cargo test --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical
+            cargo test --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical --exclude rustsat-glucose
           else 
             cargo test --workspace --verbose --features=all
           fi
diff --git a/glucose/build.rs b/glucose/build.rs
index f417baa5..2e107cc3 100644
--- a/glucose/build.rs
+++ b/glucose/build.rs
@@ -7,7 +7,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/glucose4.git",
         "main",
-        "50caaa1c45dd217cbdbd43793c5a8c8824db78d4",
+        "32ef3316caf06359c01e0b538dba47fafb0939e2",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -41,7 +41,7 @@ fn build(repo: &str, branch: &str, commit: &str) {
     #[cfg(target_os = "macos")]
     println!("cargo:rustc-flags=-l dylib=c++");
 
-    #[cfg(not(target_os = "macos"))]
+    #[cfg(not(any(target_os = "macos", target_os = "windows")))]
     println!("cargo:rustc-flags=-l dylib=stdc++");
 }
 
diff --git a/minisat/build.rs b/minisat/build.rs
index 8e479471..557f315c 100644
--- a/minisat/build.rs
+++ b/minisat/build.rs
@@ -7,7 +7,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/minisat.git",
         "master",
-        "eba7139dfafe76a787e4bbea8464ac140c2dfafd",
+        "f64a4f78eea61927dec9f151650504defba490c1",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -40,7 +40,7 @@ fn build(repo: &str, branch: &str, commit: &str) {
     #[cfg(target_os = "macos")]
     println!("cargo:rustc-flags=-l dylib=c++");
 
-    #[cfg(not(target_os = "macos"))]
+    #[cfg(not(any(target_os = "macos", target_os = "windows")))]
     println!("cargo:rustc-flags=-l dylib=stdc++");
 }