From a3f2f6179e2c2857d2413c966bba926ed22e69fe Mon Sep 17 00:00:00 2001
From: Amitayush Thakur <amitayush@utexas.edu>
Date: Sun, 31 May 2026 12:35:31 -0500
Subject: [PATCH 1/2] Bump version to 1.7.0 and update dependencies

---
 pyproject.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

From f7c9e1756a7a1f5b80d3e5b45b6d3936bab8c63b Mon Sep 17 00:00:00 2001
From: Amitayush Thakur <amitayush@utexas.edu>
Date: Sun, 31 May 2026 12:40:23 -0500
Subject: [PATCH 2/2] Add pip installation to Python 3.14 conda environment

---
 .github/workflows/github-build-actions-python314t.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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