feat: Move the compiled eccs to a separate package

.pre-commit-config.yaml

@@ -85,7 +85,8 @@ repos:
       - id: py-test
         name: pytest
         description: Run python tests
-        entry: poetry run -- sh -c "maturin develop && pytest --cov=./ --cov-report=html"
+        # Ensure that we are using the local version of `tket2-eccs` and not the one from PyPI
+        entry: poetry run -- sh -c "poetry install -C tket2-eccs & maturin develop && pytest --cov=./ --cov-report=html"
         language: system
         files: \.py$
         pass_filenames: false

.release-please-manifest.json

@@ -1,3 +1,4 @@
 {
-    "tket2-py": "0.1.0a4"
+    "tket2-py": "0.1.0a4",
+    "tket2-eccs": "0.0.0"
 }

justfile

@@ -14,12 +14,16 @@ check:
 
 # Compile the wheels for the python package.
 build:
+    #!/usr/bin/env bash
+    set -euo pipefail
+    # Ensure that we are using the local version of `pytket-eccs`
+    poetry install -C tket2-eccs
     poetry run -- maturin build --release
 
 # Run all the tests.
 test language="[rust|python]" : (_run_lang language \
         "poetry run cargo test --all-features --workspace" \
-        "poetry run maturin develop && poetry run pytest"
+        "poetry install -C tket2-eccs && poetry run maturin develop && poetry run pytest"
     )
 
 # Auto-fix all clippy warnings.
@@ -37,7 +41,7 @@ format language="[rust|python]": (_run_lang language \
 # Generate a test coverage report.
 coverage language="[rust|python]": (_run_lang language \
         "poetry run -- cargo llvm-cov --lcov > lcov.info" \
-        "poetry run -- maturin develop && poetry run pytest --cov=./ --cov-report=html"
+        "poetry install -C tket2-eccs && poetry run -- maturin develop && poetry run pytest --cov=./ --cov-report=html"
     )
 
 # Load a shell with all the dependencies installed

pyproject.toml

@@ -1,7 +1,7 @@
 [tool.poetry]
 name = "tket2-py"
 version = "0.1.0a4"
-description = "pytket extension for the tket 2 compiler"
+description = "Quantinuum's TKET2 Quantum Compiler"
 classifiers = [
     "Environment :: Console",
     "Programming Language :: Python :: 3.10",
@@ -25,10 +25,12 @@ packages = [{ include = "tket2-py" }]
 
 [tool.poetry.dependencies]
 python = "^3.10"
+
 # Note: Be sure to update the dependency versions in [project.dependencies] as well
 #
 # Poetry does not currently follow PEP 621, it will be supported on poetry 2
 # https://github.com/python-poetry/poetry/issues/3332
+tket2_eccs = { path = "tket2-eccs", develop = true }
 pytket = "1.30.0"
 hugr = "^0.5.0"
 
@@ -68,12 +70,16 @@ maintainers = [
     { name = "TKET development team", email = "[email protected]" },
 ]
 version = "0.1.0a4"
-description = "pytket extension for the tket 2 compiler"
+description = "Quantinuum's TKET2 Quantum Compiler"
 requires-python = ">=3.10"
 license = { file = "LICENCE" }
 
 # Note: Be sure to update the dependency versions in [tool.poetry.dependencies] as well
-dependencies = ['pytket >= 1.29.2, < 2', 'hugr >= 0.5.0, < 0.6']
+dependencies = [
+    'pytket >= 1.29.2, < 2',
+    'hugr >= 0.5.0, < 0.6',
+    'tket2_eccs >= 0.1.0, < 0.2',
+]
 
 [project.urls]
 homepage = "https://github.com/CQCL/tket2"

release-please-config.json

@@ -13,6 +13,15 @@
             "draft": false,
             "prerelease": false,
             "draft-pull-request": true
+        },
+        "tket2-eccs": {
+            "release-type": "python",
+            "component": "tket2-eccs",
+            "package-name": "tket2_eccs",
+            "include-component-in-tag": true,
+            "draft": false,
+            "prerelease": false,
+            "draft-pull-request": true
         }
     },
     "changelog-sections": [

scripts/compile-test-eccs.sh

@@ -23,7 +23,7 @@ done
 # Additional hard-coded step:
 # The python package contains a copy of the nam_6_3 ecc,
 # which must be manually copied.
-PY_ECCS_DIR="$DIR/../tket2-py/tket2/data"
+PY_ECCS_DIR="$DIR/../tket2-eccs/src/tket2_eccs/data"
 nam_6_3="$ECCS_DIR/nam_6_3.rwr"
 PY_NAM_6_3="$PY_ECCS_DIR/nam_6_3.rwr"
 

tket2-eccs/.gitignore

@@ -0,0 +1,2 @@
+# Python wheel artifacts
+dist

tket2-eccs/CHANGELOG.md

@@ -0,0 +1 @@
+# Changelog

tket2-eccs/README.md

@@ -0,0 +1,36 @@
+# tket2-eccs
+
+[![pypi][]](https://pypi.org/project/tket2/)
+[![codecov][]](https://codecov.io/gh/CQCL/tket2)
+[![py-version][]](https://pypi.org/project/tket2/)
+
+  [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov
+  [py-version]: https://img.shields.io/pypi/pyversions/tket2
+  [pypi]: https://img.shields.io/pypi/v/tket2
+
+This is an auxiliary Python package containing compiler rewrite sets used for `tket2`'s optimisation passes.
+
+This package is intended to be used as an internal dependency for `tket2`.
+See https://pypi.org/project/tket2/ for the main package.
+
+
+## Install
+
+TKET2-eccs can be installed via `pip`.
+
+```sh
+pip install tket2_eccs
+```
+
+## Development
+
+See [DEVELOPMENT.md] information on how to develop and contribute to this package.
+
+  [DEVELOPMENT.md]: https://github.com/CQCL/tket2/blob/main/DEVELOPMENT.md
+
+
+## License
+
+This project is licensed under Apache License, Version 2.0 ([LICENCE][] or http://www.apache.org/licenses/LICENSE-2.0).
+
+  [LICENCE]: https://github.com/CQCL/tket2/blob/main/LICENCE

tket2-eccs/pyproject.toml

@@ -0,0 +1,63 @@
+[tool.poetry]
+name = "tket2-eccs"
+version = "0.1.0"
+description = "Precompiled rewrite sets for the tket 2 compiler"
+classifiers = [
+    "Environment :: Console",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "License :: OSI Approved :: Apache Software License",
+    "Operating System :: MacOS :: MacOS X",
+    "Operating System :: POSIX :: Linux",
+    "Operating System :: Microsoft :: Windows",
+    "Intended Audience :: Developers",
+    "Intended Audience :: Science/Research",
+    "Topic :: Scientific/Engineering",
+]
+authors = ["TKET development team <[email protected]>"]
+maintainers = ["TKET development team <[email protected]>"]
+include = ["pyproject.toml"]
+license = "Apache-2.0"
+readme = "README.md"
+
+packages = [{ include = "tket2_eccs", from = "src" }]
+
+[tool.poetry.dependencies]
+python = "^3.10"
+
+[build-system]
+requires = ["poetry-core"]
+build-backend = "poetry.core.masonry.api"
+
+[project]
+name = "tket2_eccs"
+classifiers = [
+    "Environment :: Console",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "License :: OSI Approved :: Apache Software License",
+    "Operating System :: MacOS :: MacOS X",
+    "Operating System :: POSIX :: Linux",
+    "Operating System :: Microsoft :: Windows",
+    "Intended Audience :: Developers",
+    "Intended Audience :: Science/Research",
+    "Topic :: Scientific/Engineering",
+]
+authors = [
+    { name = "TKET development team", email = "[email protected]" },
+]
+maintainers = [
+    { name = "TKET development team", email = "[email protected]" },
+]
+version = "0.1.0"
+description = "Precompiled rewrite sets for the tket 2 compiler"
+requires-python = ">=3.10"
+license = { file = "LICENCE" }
+
+dependencies = []
+
+[project.urls]
+homepage = "https://github.com/CQCL/tket2"
+repository = "https://github.com/CQCL/tket2"

tket2-eccs/src/tket2_eccs/__init__.py

@@ -0,0 +1,27 @@
+"""`tket2-eccs` is a Python package containing compiler rewrite sets used for `tket2`'s optimisation passes.
+
+This package is intended to be used as an internal dependency for `tket2`.
+"""
+
+# This is updated by our release-please workflow, triggered by this
+# annotation: x-release-please-version
+__version__ = "0.1.0"
+
+from importlib import resources
+from pathlib import Path
+
+
+def nam_6_3() -> Path:
+    """Get the path to the included `nam_6_3.rwr` rewriter.
+
+    This is a rewrite set obtained from the equivalence classes of circuits with
+    up to 3 qubits and 6 gates on the Nam gateset, as
+    generated by TASO.
+
+    See https://dl.acm.org/doi/10.1145/3341301.3359630
+    """
+    with resources.as_file(
+        resources.files("tket2_eccs").joinpath("data/nam_6_3.rwr")
+    ) as r:
+        rewriter = Path(r)
+    return rewriter

tket2-py/README.md

@@ -34,7 +34,7 @@ See the [Getting Started][getting-started] guide and the other [examples].
 
 ## Development
 
-This package uses [pyo3](https://pyo3.rs/v0.16.4/) and
+This package uses [pyo3](https://pyo3.rs/latest/) and
 [maturin](https://github.com/PyO3/maturin) to bind TKET2 functionality to
 python as the `tket2` package.
 
@@ -56,4 +56,4 @@ See [DEVELOPMENT.md] for more information.
 
 This project is licensed under Apache License, Version 2.0 ([LICENCE][] or http://www.apache.org/licenses/LICENSE-2.0).
 
-  [LICENCE]: ./LICENCE
+  [LICENCE]: https://github.com/CQCL/tket2/blob/main/LICENCE

tket2-py/tket2/passes.py

@@ -1,6 +1,5 @@
 from pathlib import Path
 from typing import Optional
-from importlib import resources
 
 from pytket import Circuit
 from pytket.passes import CustomPass, BasePass
@@ -49,10 +48,14 @@ def badger_pass(
     `log_dir` and `rebase` are optional and will be passed on to the Badger
     optimiser if provided."""
     if rewriter is None:
-        with resources.as_file(
-            resources.files("tket2").joinpath("data/nam_6_3.rwr")
-        ) as r:
-            rewriter = Path(r)
+        try:
+            import tket2_eccs
+        except ImportError:
+            raise ValueError(
+                "The default rewriter is not available. Please specify a path to a rewriter or install tket2-eccs."
+            )
+
+        rewriter = tket2_eccs.nam_6_3()
     opt = optimiser.BadgerOptimiser.load_precompiled(rewriter)
 
     def apply(circuit: Circuit) -> Circuit:

tket2-py/tket2/rewrite.py

@@ -1,8 +1,6 @@
 # Re-export native bindings
 from ._tket2.rewrite import ECCRewriter, CircuitRewrite, Subcircuit
 
-from importlib import resources
-
 __all__ = [
     "default_ecc_rewriter",
     # Bindings.
@@ -15,8 +13,12 @@
 
 def default_ecc_rewriter() -> ECCRewriter:
     """Load the default ecc rewriter."""
-    # TODO: Cite, explain what this is
-    with resources.as_file(
-        resources.files("tket2").joinpath("data/nam_6_3.rwr")
-    ) as rewriter:
-        return ECCRewriter.load_precompiled(rewriter)
+    try:
+        import tket2_eccs
+    except ImportError:
+        raise ValueError(
+            "The default rewriter is not available. Please specify a path to a rewriter or install tket2-eccs."
+        )
+
+    rewriter = tket2_eccs.nam_6_3()
+    return ECCRewriter.load_precompiled(rewriter)