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