no lgl for boolector

Author: radare

.github/workflows/rust.yml

@@ -62,12 +62,6 @@ jobs:
 
     steps:
     - uses: actions/checkout@v6
-    - name: Install MSYS2
-      uses: msys2/setup-msys2@v2
-      with:
-        msystem: MINGW64
-        update: true
-        install: base-devel git
     - name: Install radare2
       run: |
         choco install radare2 -y

radius/Cargo.toml

@@ -19,7 +19,13 @@ rand = "0.8.4"
 colored = "2.0.0"
 
 [features]
-default = ["boolector/vendor-lgl"]
+default = []
+
+[target.'cfg(not(windows))'.dependencies]
+boolector = { version = "0.4.3", features = ["vendor-lgl"] }
+
+[target.'cfg(windows)'.dependencies]
+boolector = "0.4.3"
 
 [package.metadata.docs.rs]
 no-default-features = true