QuPRS 0.2.0__tar.gz → 0.3.0__tar.gz

quprs-0.3.0/.github/workflows/docker-build.yml

@@ -0,0 +1,90 @@
+name: Build and Push Docker Image to Multiple Registries
+
+on:
+  push:
+    branches: [ "main" ]
+    tags:
+      - 'v*'
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  build-and-push:
+    runs-on: ubuntu-latest
+
+    # Permissions: write access to packages is required for GHCR
+    permissions:
+      contents: read
+      packages: write
+
+    steps:
+      # Checkout the repository source code
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      # Set lowercase repository and image names for Docker
+      - name: Set lowercase repo name
+        run: |
+          # Convert repository name to lowercase for Docker image naming
+          echo "LOWERCASE_REPO=$(echo '${{ github.repository }}' | tr '[:upper:]' '[:lower:]')" >> $GITHUB_ENV
+          # Extract and lowercase the repository name for Docker Hub
+          echo "DOCKERHUB_REPO=$(basename '${{ github.repository }}' | tr '[:upper:]' '[:lower:]')" >> $GITHUB_ENV
+
+      # Extract Docker metadata (tags, labels, etc.)
+      - name: Extract Docker metadata
+        id: meta
+        uses: docker/metadata-action@v5
+        with:
+          images: |
+            # Image for GitHub Container Registry (GHCR)
+            ghcr.io/${{ env.LOWERCASE_REPO }}
+            # Image for Docker Hub
+            ${{ secrets.DOCKERHUB_USERNAME }}/${{ env.DOCKERHUB_REPO }}
+          tags: |
+            # Tag with semantic version if a Git tag is present (e.g., 1.2.3)
+            type=semver,pattern={{version}}
+            # Tag with short commit SHA
+            type=sha,format=short
+            # Tag as 'latest' only on the default branch
+            type=raw,value=latest,enable={{is_default_branch}}
+
+      # Log in to GitHub Container Registry (GHCR)
+      - name: Log in to GHCR
+        if: github.event_name != 'pull_request'
+        uses: docker/login-action@v3
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      # Log in to Docker Hub
+      - name: Log in to Docker Hub
+        if: github.event_name != 'pull_request'
+        uses: docker/login-action@v3
+        with:
+          username: ${{ secrets.DOCKERHUB_USERNAME }}
+          password: ${{ secrets.DOCKERHUB_TOKEN }}
+
+      # Set up QEMU for multi-architecture builds (recommended best practice)
+      - name: Set up QEMU
+        uses: docker/setup-qemu-action@v3
+
+      # Set up Docker Buildx (required for advanced build features)
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+        
+      # Build, test, and push the Docker image to both registries (only for push events)
+      - name: Build, Test and Push
+        uses: docker/build-push-action@v5
+        with:
+          context: .
+          # Use the 'tester' target for PRs; otherwise, build the default target
+          target: ${{ github.event_name == 'pull_request' && 'tester' || '' }}
+          # Only push images if the event is not a pull request
+          push: ${{ github.event_name != 'pull_request' }}
+          # Use tags and labels generated by the metadata action
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
+          # Enable build cache to speed up subsequent builds
+          cache-from: type=gha
+          cache-to: type=gha,mode=max

{quprs-0.2.0 → quprs-0.3.0}/.github/workflows/pytest.yml

@@ -37,12 +37,14 @@ jobs:
             run: |
               python -m pip install --upgrade pip
               pip install pytest
+              pip install pytest-xdist
+              pip install pytest-cov
               pip install .
 
           # Step 4: Run pytest
           - name: Run tests with pytest
             run: |
-              pytest --junitxml=pytest-results.xml
+              pytest -n auto -v --junitxml=pytest-results.xml
 
           # Step 5: Upload pytest results as artifact
           - name: Upload pytest results

{quprs-0.2.0 → quprs-0.3.0}/.github/workflows/python-publish.yml

@@ -52,5 +52,5 @@ jobs:
           body: |
             ## 🚀 Release Notes
             * **📦 Version:** `${{ github.ref_name }}`
-            * **🔗 PyPI Link:** https://pypi.org/project/${{ github.repository_owner }}/${{ github.event.repository.name }}/${{ github.ref_name }}
+            * **🔗 PyPI Link:** https://pypi.org/project/${{ github.event.repository.name }}/${{ github.ref_name }}
             * 🛠️ This release was automatically generated by GitHub Actions.

quprs-0.3.0/Dockerfile

@@ -0,0 +1,49 @@
+# Copyright 2025 Wei-Jia Huang
+#
+# SPDX-License-Identifier: MIT
+
+# Use the official Miniconda3 image as the base image
+FROM continuumio/miniconda3
+
+# Set the working directory inside the container
+WORKDIR /app
+COPY . .
+
+# 1. Update Conda and upgrade Python in the base environment to version 3.12
+# Combine conda update, Python upgrade, and pip installation in a single RUN command
+# Clean up to reduce image size
+RUN conda update -n base -c defaults conda --yes && \
+    conda install -n base -c defaults python=3.12 pip --yes && \
+    conda clean --all -f -y
+
+# 2. Install required system libraries
+RUN apt update && \
+    apt install -y --no-install-recommends \
+        libgmpxx4ldbl \
+        libmpfr6 \
+        libatomic1 && \
+    rm -rf /var/lib/apt/lists/*
+
+# 3. Install Python packages in the base environment
+RUN pip install .[dev] && \
+    # Remove pip cache to reduce image size
+    rm -rf ~/.cache/pip && \
+    rm -rf ./dist
+
+# 4. Copy benchmark, test, and documentation files into the container
+COPY ./benchmarks/Feymann /app/benchmarks/Feymann
+COPY ./benchmarks/MQTBench /app/benchmarks/MQTBench
+COPY ./test /app/test
+COPY README.md /app/README.md
+COPY LICENSE.md /app/LICENSE.md
+COPY NOTICE.md /app/NOTICE.md
+
+RUN conda run -n base pytest -n auto 
+
+# 5. Set license information as a container label
+LABEL org.opencontainers.image.licenses="MIT"
+
+
+
+# 6. Set the default command to run when the container starts
+CMD ["/bin/bash"]

{quprs-0.2.0 → quprs-0.3.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: QuPRS
-Version: 0.2.0
+Version: 0.3.0
 Summary: QuPRS: Quantum Path-sum Reduction and Solver
 Author-email: Wei-Jia Huang <wei.jia.huang.physics@gmail.com>
 Project-URL: Homepage, https://github.com/PhysicsQoo/QuPRS
@@ -28,6 +28,8 @@ Provides-Extra: dev
 Requires-Dist: ipykernel; extra == "dev"
 Requires-Dist: build; extra == "dev"
 Requires-Dist: pytest; extra == "dev"
+Requires-Dist: pytest-xdist; extra == "dev"
+Requires-Dist: pytest-cov; extra == "dev"
 Requires-Dist: pandas; extra == "dev"
 Requires-Dist: tqdm; extra == "dev"
 Dynamic: license-file

{quprs-0.2.0 → quprs-0.3.0}/pyproject.toml

@@ -36,6 +36,8 @@ dev = [
     "ipykernel",
     "build",
     "pytest",
+    "pytest-xdist",
+    "pytest-cov",
     "pandas",
     "tqdm"
 ]

{quprs-0.2.0 → quprs-0.3.0}/src/QuPRS/_version.py

@@ -17,5 +17,5 @@ __version__: str
 __version_tuple__: VERSION_TUPLE
 version_tuple: VERSION_TUPLE
 
-__version__ = version = '0.2.0'
-__version_tuple__ = version_tuple = (0, 2, 0)
+__version__ = version = '0.3.0'
+__version_tuple__ = version_tuple = (0, 3, 0)

{quprs-0.2.0 → quprs-0.3.0}/src/QuPRS/interface/load_qiskit.py

@@ -164,7 +164,7 @@ def qasm_eq_check(circuit1: str|QuantumCircuit, circuit2:str|QuantumCircuit, str
             output_dict["equivalent"] = 'unknown'
             return output_dict, pathsum_circuit
 
-def qasm_eq_check_with_wmc(circuit1: str|QuantumCircuit, circuit2:str|QuantumCircuit, strategy ='Difference' , Benchmark_Name=None, timeout= 600):
+def qasm_eq_check_with_wmc(circuit1: str|QuantumCircuit, circuit2:str|QuantumCircuit, strategy ='Difference' , Benchmark_Name=None, cnf_filename = None, timeout= 600):
     tolerance = config.TOLERANCE
 
     output_dict, circuit = qasm_eq_check(circuit1=circuit1, circuit2=circuit2, strategy =strategy , Benchmark_Name=Benchmark_Name, timeout= timeout)
@@ -181,7 +181,9 @@ def qasm_eq_check_with_wmc(circuit1: str|QuantumCircuit, circuit2:str|QuantumCir
         signal.alarm(timeout)
         start_time = time.time()
         try:
-            to_DIMACS(circuit)
+            if cnf_filename is None:
+                cnf_filename = 'wmc.cnf'
+            to_DIMACS(circuit, cnf_filename)
             to_DIMACS_time = round(time.time() - start_time, 3)
         except TimeoutError:
             to_DIMACS_time = f'>{timeout}'
@@ -192,7 +194,7 @@ def qasm_eq_check_with_wmc(circuit1: str|QuantumCircuit, circuit2:str|QuantumCir
             signal.alarm(timeout)
             start_time = time.time()
             try:
-                complex_number = run_wmc()
+                complex_number = run_wmc(cnf_filename)
                 wmc_time = round(time.time() - start_time, 3)
                 abs_num = np.sqrt(complex_number[0]**2 + complex_number[1]**2)
                 log_wmc = round(np.log2(abs_num), 3)

{quprs-0.2.0 → quprs-0.3.0}/src/QuPRS/interface/ps2wmc.py

@@ -217,7 +217,7 @@ def run_wmc(file='wmc.cnf'):
                 real_part = 0 
                 imag_part = float(match.group(1))  
                 return real_part, imag_part
-    return None
+    assert False, "WMC output format error, result: {}".format(result.stdout)
 
 if __name__ == "__main__":
     # from pathsum.pathsum import PathSum, F, Register

{quprs-0.2.0 → quprs-0.3.0}/src/QuPRS/utils/util.py

@@ -1,6 +1,7 @@
 import symengine as se
 import sympy as sp
 import numpy as np
+import uuid
 from itertools import combinations, count
 from qiskit.circuit import Parameter, ParameterExpression
 from qiskit.circuit.tools.pi_check import pi_check
@@ -181,4 +182,7 @@ def find_new_variables(pathvar: set|frozenset, num_vars_needed = 1) -> list[se.S
             candidate_var = se.Symbol(f'y_{i}')
             if candidate_var not in pathvar:
                 new_vars.append(candidate_var)
-        return new_vars
+        return new_vars
+def generate_unique_key():
+    unique_key = str(uuid.uuid4())
+    return unique_key

{quprs-0.2.0 → quprs-0.3.0}/src/QuPRS.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: QuPRS
-Version: 0.2.0
+Version: 0.3.0
 Summary: QuPRS: Quantum Path-sum Reduction and Solver
 Author-email: Wei-Jia Huang <wei.jia.huang.physics@gmail.com>
 Project-URL: Homepage, https://github.com/PhysicsQoo/QuPRS
@@ -28,6 +28,8 @@ Provides-Extra: dev
 Requires-Dist: ipykernel; extra == "dev"
 Requires-Dist: build; extra == "dev"
 Requires-Dist: pytest; extra == "dev"
+Requires-Dist: pytest-xdist; extra == "dev"
+Requires-Dist: pytest-cov; extra == "dev"
 Requires-Dist: pandas; extra == "dev"
 Requires-Dist: tqdm; extra == "dev"
 Dynamic: license-file

{quprs-0.2.0 → quprs-0.3.0}/src/QuPRS.egg-info/SOURCES.txt

@@ -1,9 +1,11 @@
 .gitignore
+Dockerfile
 LICENSE.md
 MANIFEST.in
 NOTICE.md
 README.md
 pyproject.toml
+.github/workflows/docker-build.yml
 .github/workflows/pytest.yml
 .github/workflows/python-publish.yml
 src/QuPRS/__init__.py

{quprs-0.2.0 → quprs-0.3.0}/src/QuPRS.egg-info/requires.txt

@@ -8,5 +8,7 @@ qiskit-qasm3-import>=0.5.1
 ipykernel
 build
 pytest
+pytest-xdist
+pytest-cov
 pandas
 tqdm