SMLP python3.13 version: includes master update and docker support

README.md

@@ -77,7 +77,7 @@ instruction for the installation on Ubuntu.
 - Using Docker container with GUI disabled
 
 ```
-docker run -it mdmitry1/python311-dev:latest
+docker run -it mdmitry1/python313-dev:latest
 ```
 
 Within docker container prepend SMLP Python script with `xvfb-run`.
@@ -137,12 +137,12 @@ bin/test_install
 1. Pull Docker container from the Docker repository:
 
 ```
-    docker pull mdmitry1/python311-dev:latest
+    docker pull mdmitry1/python313-dev:latest
 ```
 
 2.  Start Docker container:
 ```
-    docker run -it mdmitry1/python311-dev:latest
+    docker run -it mdmitry1/python313-dev:latest
 ```
 
 3. Run the tool

bin/enter

@@ -1 +1 @@
-../docker/python3.11/enter_released_container
+../docker/python3.13/enter_released_container

bin/enter_wslg

@@ -1 +1 @@
-../docker/python3.11/enter_released_container_wslg
+../docker/python3.13/enter_released_container_wslg

bin/enter_x11

@@ -1 +1 @@
-../docker/python3.11/enter_released_container_x11_forwarding
+../docker/python3.13/enter_released_container_x11_forwarding

bin/test_install

@@ -1 +1 @@
-../docker/python3.11/run_installation_test
+../docker/python3.13/run_installation_test

docker/python3.13/Dockerfile

@@ -0,0 +1,142 @@
+# Use ubuntu 24.04 as an image
+FROM ubuntu:24.04
+
+ENV DEBIAN_FRONTEND=noninteractive
+
+# Set environment variables
+ENV PYTHONUNBUFFERED=1 \
+    PYTHONDONTWRITEBYTECODE=1 \
+    PIP_NO_CACHE_DIR=1 \
+    PIP_DISABLE_PIP_VERSION_CHECK=1
+
+# Layer 1: base tools
+RUN apt-get update && apt-get install -y \
+    wget \
+    vim \
+    git \
+    jq \
+    tcsh \
+    tzdata \
+    locales \
+    && apt-get update \
+    && rm -rf /var/lib/apt/lists/*
+
+# Layer 2: Python 3.13
+RUN apt-get update && \
+    apt-get install -y --no-install-recommends \
+        gnupg \
+        curl \
+        ca-certificates && \
+        curl -fsSL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0xF23C5A6CF475977595C89F51BA6932366A755776" \
+            | gpg --dearmor -o /etc/apt/trusted.gpg.d/deadsnakes.gpg && \
+        echo "deb https://ppa.launchpadcontent.net/deadsnakes/ppa/ubuntu noble main" \
+            > /etc/apt/sources.list.d/deadsnakes.list && \
+    apt-get update && \
+    apt-get install -y --no-install-recommends \
+        python3.13 \
+        python3.13-dev \
+        python3.13-tk
+
+# Layer 3: build tools
+RUN apt-get update && apt-get install -y \
+    gcc \
+    g++ \
+    make \
+    ninja-build \
+    pkg-config \
+    libgmp-dev \
+    && rm -rf /var/lib/apt/lists/*
+
+# Layer 4: Z3 and Boost
+RUN apt-get update && apt-get install -y \
+    python3-z3 \
+    z3 \
+    libz3-dev \
+    libboost-python-dev \
+    && rm -rf /var/lib/apt/lists/*
+
+# Layer 5: X11 and GUI tools
+RUN apt-get update && apt-get install -y \
+    tk \
+    tkcvs \
+    libx11-6 \
+    libxext6 \
+    libxrender1 \
+    libxtst6 \
+    libxi6 \
+    x11-apps \
+    x11-xserver-utils \
+    x11vnc \
+    xvfb \
+    vim-gtk3 \
+    libcanberra-gtk-module \
+    libcanberra-gtk3-module \
+    autocutsel \
+    && rm -rf /var/lib/apt/lists/*
+
+# Set working directory
+WORKDIR /app
+
+# Copy requirements file
+COPY requirements.txt .
+
+# Copy the build script
+COPY run_python_boost_build .
+
+# Make script executable
+RUN chmod +x run_python_boost_build
+RUN ./run_python_boost_build && rm -rf /tmp/boost* /root/boost*
+
+# Install pip
+RUN curl -sS https://bootstrap.pypa.io/get-pip.py | python3.13
+
+# Install Python packages including meson
+RUN python3.13 -m pip install --ignore-installed --no-cache-dir -r requirements.txt
+
+#Copy pycaret
+COPY pycaret_313.tar.gz .
+
+RUN  pip install --no-cache-dir pycaret_313.tar.gz && pip install numpy==2.4.1 && rm -f pycaret_313.tar.gz
+
+ARG CACHE_BUST_SMLP
+
+#Change python default version
+RUN ln -sf /usr/bin/python3.13 /usr/bin/python3
+RUN ln -sf /usr/bin/python3.13 /usr/bin/python
+
+# Copy the build script
+COPY run_meson_build .
+# Make script executable
+RUN chmod +x run_meson_build
+RUN ./run_meson_build
+
+#Copy z3 python package
+RUN cp -rp /usr/lib/python3/dist-packages/z3 /usr/local/lib/python3.13/dist-packages
+
+#Workaround for TkAgg issue
+COPY tkagg_patch.sh .
+RUN chmod +x tkagg_patch.sh
+RUN ./tkagg_patch.sh
+
+#Mathsat
+COPY run_mathsat_build .
+RUN chmod +x run_mathsat_build
+RUN ./run_mathsat_build && rm -rf /tmp/mathsat*
+
+#tkdiff patch for https://bugs.launchpad.net/bugs/2139062
+COPY run_tkdiff_patch .
+RUN chmod +x run_tkdiff_patch
+RUN ./run_tkdiff_patch
+
+#UTF-8 fonts
+RUN locale-gen en_US.UTF-8
+ENV LANG=en_US.UTF-8
+ENV LANGUAGE=en_US:en
+ENV LC_ALL=en_US.UTF-8
+
+#VNC
+COPY start_vnc .
+RUN chmod +x start_vnc
+
+## Default command
+CMD ["/bin/tcsh"]