Update Python version and dependencies

Also use a TOML file instead of requirements.txt to make it easier to
develop using uv.
Also move to using a __main__ file so that the gunicorn and command-line
ways to run the server are the same: using the module `checker.server`.

Author: jsharkey13

Dockerfile

@@ -1,18 +1,16 @@
-FROM python:3.12-slim
-
-RUN ln -sf /bin/bash /bin/sh
+FROM python:3.14-slim
 
 # To ensure output printed correctly, alter buffering:
 ENV PYTHONUNBUFFERED=0
 
 RUN mkdir -p /usr/src/app
 WORKDIR /usr/src/app
 
-COPY requirements.txt /usr/src/app/
-RUN pip install --no-cache-dir -r requirements.txt
+COPY pyproject.toml /usr/src/app/
+RUN pip install --no-cache-dir -e .
 
 COPY . /usr/src/app
 
 EXPOSE 5000
 
-CMD gunicorn --config=checker/server/gunicorn_conf.py checker.server:app
+CMD ["gunicorn", "--config", "checker/server/gunicorn_conf.py", "checker.server:app"]

README.md

@@ -9,10 +9,10 @@ This project now uses Python 3. The last version using Python 2.7 was [v0.8.0](h
 
 ### Development Setup Instructions
 #### Simple Setup
-1. Install [Python 3.10](https://www.python.org/)
+1. Install [Python 3.14](https://www.python.org/)
 2. Clone this repository
-3. Run `pip install -r requirements.txt`
-4. Run `python server\api.py`
+3. Run `pip install -e .`
+4. Run `python -m checker.server`
 
 Your server should be running at `http://localhost:5000/check`.
 Now make JSON-based POST requests with target and test expression strings, e.g.
@@ -48,12 +48,12 @@ To develop the Docker container as well:
 
 5. Install [Docker](https://www.docker.com/)
 7. Run `docker build -t ucamcldtg/equality-checker --pull .`
-8. Test using `docker run -p 5000:5000 -it ucamcldtg/equality-checker` rather than running Python locally
+8. Test using `docker run --rm -p 5000:5000 -it ucamcldtg/equality-checker` rather than running Python locally
 9. Optionally deploy to dockerhub: `docker push ucamcldtg/equality-checker` (requires authentication)
 
 ### Production Use
 
-The Docker container is available from [dockerhub](https://registry.hub.docker.com/u/ucamcldtg/equality-checker/) by running: `docker pull ucamcldtg/equality-checker` or by listing it as an image in a Docker Compose file. Port 5000 of the container will need to be mapped to the port the checker is expected to listen on.
+The Docker container is available from [dockerhub](https://hub.docker.com/r/ucamcldtg/equality-checker) by running: `docker pull ucamcldtg/equality-checker` or by listing it as an image in a Docker Compose file. Port 5000 of the container will need to be mapped to the port the checker is expected to listen on.
 
 For instance, run:
 ```

checker/server/__init__.py

@@ -1 +1 @@
-from .server import *
+from .server import *

checker/server/__main__.py

@@ -0,0 +1,4 @@
+from .server import app
+
+# Run the app:
+app.run(port=5000, host="0.0.0.0", debug=False)

checker/server/server.py

@@ -183,7 +183,3 @@ def ping():
 # This will only work provided debug=False - otherwise the debugger hijacks them!
 for code in default_exceptions.keys():
     app.register_error_handler(code, _make_json_error)
-
-if __name__ == '__main__':
-    # Run the app:
-    app.run(port=5000, host="0.0.0.0", debug=False)

pyproject.toml

@@ -0,0 +1,14 @@
+[project]
+name = "equality-checker"
+version = "0.14.2"
+description = "Lightweight server for testing equivalence of two symbolic expressions."
+requires-python = ">=3.14"
+dependencies = [
+    "flask==3.1.2",
+    "gunicorn==23.0.0",
+    "mpmath==1.3.0",
+    "numpy==2.4.0",
+    "pytest>=9.0.2",
+    "pytest-cov>=7.0.0",
+    "sympy==1.14.0",
+]