diff --git a/requirements.txt b/requirements.txt
index 0eb8f13..638a7b5 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -4,7 +4,6 @@ aiohttp==3.8.5
 aiohttp-ip-rotator==1.0
 aioitertools==0.11.0
 aiosignal==1.3.1
-altgraph @ file:///System/Volumes/Data/SWE/Apps/DT/BuildRoots/BuildRoot7/ActiveBuildRoot/Library/Caches/com.apple.xbs/Sources/python3/python3-133.100.1.1/altgraph-0.17.2-py2.py3-none-any.whl
 appdirs==1.4.4
 async-timeout==4.0.2
 attrs==23.1.0
@@ -26,7 +25,6 @@ frida==16.1.3
 frida-tools==12.2.1
 frozenlist==1.4.0
 fsspec==2023.6.0
-future @ file:///System/Volumes/Data/SWE/Apps/DT/BuildRoots/BuildRoot7/ActiveBuildRoot/Library/Caches/com.apple.xbs/Sources/python3/python3-133.100.1.1/future-0.18.2-py3-none-any.whl
 gitdb==4.0.10
 GitPython==3.1.31
 huggingface-hub==0.16.2
@@ -39,7 +37,6 @@ Jinja2==3.1.2
 jmespath==1.0.1
 joblib==1.3.1
 lxml==4.9.3
-macholib @ file:///System/Volumes/Data/SWE/Apps/DT/BuildRoots/BuildRoot7/ActiveBuildRoot/Library/Caches/com.apple.xbs/Sources/python3/python3-133.100.1.1/macholib-1.15.2-py2.py3-none-any.whl
 MarkupSafe==2.1.3
 mpmath==1.3.0
 multidict==6.0.4
@@ -73,7 +70,6 @@ Scrapy==2.9.0
 sentry-sdk==1.27.0
 service-identity==23.1.0
 setproctitle==1.3.2
-six @ file:///System/Volumes/Data/SWE/Apps/DT/BuildRoots/BuildRoot7/ActiveBuildRoot/Library/Caches/com.apple.xbs/Sources/python3/python3-133.100.1.1/six-1.15.0-py2.py3-none-any.whl
 sklearn==0.0
 smmap==5.0.0
 sympy==1.12
diff --git a/settings.gradle b/settings.gradle
index 2861754..defcd23 100644
--- a/settings.gradle
+++ b/settings.gradle
@@ -67,7 +67,7 @@ dependencyResolutionManagement {
             library('asm-util', 'org.ow2.asm','asm-util').versionRef('asm')
             library('asm-tree', 'org.ow2.asm','asm-tree').versionRef('asm')
             library('jackson-databind', 'com.fasterxml.jackson.core:jackson-databind:2.14.1')
-            library('java-smt', 'org.sosy-lab:java-smt:5.0.1')
+            library('java-smt', 'org.sosy-lab:java-smt:6.0.0')
             library('spock-core', 'org.spockframework:spock-core:2.2-M1-groovy-4.0')
             library('mockito-core', 'org.mockito:mockito-core:3.12.4')
             library('logback-classic', 'ch.qos.logback:logback-classic:1.5.3')