diff --git a/.github/workflows/github-build-actions-python314t.yaml b/.github/workflows/github-build-actions-python314t.yaml index c43b4ad..3be3180 100644 --- a/.github/workflows/github-build-actions-python314t.yaml +++ b/.github/workflows/github-build-actions-python314t.yaml @@ -38,7 +38,7 @@ jobs: shell: bash run: | export PATH="$HOME/miniconda/bin:$PATH" - conda create -n py314-ft python=3.14 python-freethreading -c conda-forge -y + conda create -n py314-ft python=3.14 python-freethreading pip -c conda-forge -y - name: Check Python version and GIL status shell: bash diff --git a/pyproject.toml b/pyproject.toml index a0a9cec..31929b5 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -10,7 +10,7 @@ packages = ["src/copra"] [project] name = "copra-theorem-prover" -version = "1.6.0" +version = "1.7.0" authors = [ { name="Amitayush Thakur", email="amitayush@utexas.edu" }, ] @@ -24,7 +24,7 @@ classifiers = [ ] dependencies = [ - "itp-interface>=1.5.0", + "itp-interface>=1.6.0", "openai>=1.99.1", "tiktoken>=0.12.0", # Updated: 0.4.0 incompatible with Python 3.14t, needs PyO3 0.23+ for free-threading "sentencepiece>=0.2.0", # Updated: 0.1.99 lacks Python 3.14t wheels, 0.2.1 has cp314t support