Spaces:
Running
Running
Update requirements.txt
Browse files- requirements.txt +1 -3
requirements.txt
CHANGED
@@ -1,3 +1 @@
|
|
1 |
-
|
2 |
-
optillm
|
3 |
-
z3-solver
|
|
|
1 |
+
optillm
|
|
|
|