diff --git a/requirements.txt b/requirements.txt
index 29678f20fd7bbd3f831d2daaec296f0de7f8b999..a6e34e224501edcf46ddd67cfe58172f0fef98c5 100755
--- a/requirements.txt
+++ b/requirements.txt
@@ -52,7 +52,6 @@ pooch==1.7.0
 prompt-toolkit==3.0.38
 psycopg2-binary==2.8.6
 pycodestyle==2.10.0
-pycosat==0.6.3
 pycparser==2.21
 pyflakes==3.0.1
 pyOpenSSL==23.0.0