mqt-core 3.3.2__cp314-cp314t-macosx_11_0_arm64.whl

mqt/core/ir/registers.pyi

@@ -0,0 +1,91 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+__all__ = ["ClassicalRegister", "QuantumRegister"]
+
+class QuantumRegister:
+    """A class to represent a collection of qubits.
+
+    Args:
+        start: The starting index of the quantum register.
+        size: The number of qubits in the quantum register.
+        name: The name of the quantum register. A name will be generated if not provided.
+    """
+
+    def __init__(self, start: int, size: int, name: str = "") -> None: ...
+    @property
+    def start(self) -> int:
+        """The index of the first qubit in the quantum register."""
+
+    @property
+    def end(self) -> int:
+        """Index of the last qubit in the quantum register."""
+
+    @property
+    def size(self) -> int:
+        """The number of qubits in the quantum register."""
+
+    @property
+    def name(self) -> str:
+        """The name of the quantum register."""
+
+    def __eq__(self, other: object) -> bool:
+        """Check if the quantum register is equal to another quantum register."""
+
+    def __ne__(self, other: object) -> bool:
+        """Check if the quantum register is not equal to another quantum register."""
+
+    def __hash__(self) -> int:
+        """Return the hash of the quantum register."""
+
+    def __getitem__(self, key: int) -> int:
+        """Get the qubit at the specified index."""
+
+    def __contains__(self, qubit: int) -> bool:
+        """Check if the quantum register contains a qubit."""
+
+class ClassicalRegister:
+    """A class to represent a collection of classical bits.
+
+    Args:
+        start: The starting index of the classical register.
+        size: The number of bits in the classical register.
+        name: The name of the classical register. A name will be generated if not provided.
+    """
+
+    def __init__(self, start: int, size: int, name: str = "") -> None: ...
+    @property
+    def start(self) -> int:
+        """The index of the first bit in the classical register."""
+
+    @property
+    def end(self) -> int:
+        """Index of the last bit in the classical register."""
+
+    @property
+    def size(self) -> int:
+        """The number of bits in the classical register."""
+
+    @property
+    def name(self) -> str:
+        """The name of the classical register."""
+
+    def __eq__(self, other: object) -> bool:
+        """Check if the classical register is equal to another classical register."""
+
+    def __ne__(self, other: object) -> bool:
+        """Check if the classical register is not equal to another classical register."""
+
+    def __hash__(self) -> int:
+        """Return the hash of the classical register."""
+
+    def __getitem__(self, key: int) -> int:
+        """Get the bit at the specified index."""
+
+    def __contains__(self, bit: int) -> bool:
+        """Check if the classical register contains a bit."""

mqt/core/ir/symbolic.pyi

@@ -0,0 +1,177 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+from collections.abc import Iterator, Mapping, Sequence
+from typing import overload
+
+__all__ = ["Expression", "Term", "Variable"]
+
+class Variable:
+    """A symbolic variable.
+
+    Args:
+        name: The name of the variable.
+
+    Note:
+        Variables are uniquely identified by their name, so if a variable with the same name already exists,
+        the existing variable will be returned.
+    """
+
+    def __eq__(self, arg0: object) -> bool: ...
+    def __gt__(self, arg0: Variable) -> bool: ...
+    def __hash__(self) -> int: ...
+    def __init__(self, name: str = "") -> None: ...
+    def __lt__(self, arg0: Variable) -> bool: ...
+    def __ne__(self, arg0: object) -> bool: ...
+    @property
+    def name(self) -> str:
+        """The name of the variable."""
+
+class Term:
+    """A symbolic term which consists of a variable with a given coefficient.
+
+    Args:
+        variable: The variable of the term.
+        coefficient: The coefficient of the term.
+    """
+
+    def __eq__(self, arg0: object) -> bool: ...
+    def __hash__(self) -> int: ...
+    def __init__(self, variable: Variable, coefficient: float = 1.0) -> None: ...
+    def __mul__(self, arg0: float) -> Term: ...
+    def __ne__(self, arg0: object) -> bool: ...
+    def __rmul__(self, arg0: float) -> Term: ...
+    def __rtruediv__(self, arg0: float) -> Term: ...
+    def __truediv__(self, arg0: float) -> Term: ...
+    def add_coefficient(self, coeff: float) -> None:
+        """Add a coefficient to the coefficient of this term.
+
+        Args:
+            coeff: The coefficient to add.
+        """
+
+    def evaluate(self, assignment: Mapping[Variable, float]) -> float:
+        """Evaluate the term with a given variable assignment.
+
+        Args:
+            assignment: The variable assignment.
+
+        Returns:
+            The evaluated value of the term.
+        """
+
+    def has_zero_coefficient(self) -> bool:
+        """Check if the coefficient of the term is zero."""
+
+    @property
+    def coefficient(self) -> float:
+        """The coefficient of the term."""
+
+    @property
+    def variable(self) -> Variable:
+        """The variable of the term."""
+
+class Expression:
+    r"""A symbolic expression which consists of a sum of terms and a constant.
+
+    The expression is of the form :math:`constant + term_1 + term_2 + \dots + term_n`.
+
+    Args:
+        terms: The list of terms.
+        constant: The constant.
+
+    Alternatively, an expression can be created with a single term and a constant or just a constant.
+    """
+
+    constant: float
+    """
+    The constant of the expression.
+    """
+
+    @overload
+    def __add__(self, arg0: Expression) -> Expression: ...
+    @overload
+    def __add__(self, arg0: Term) -> Expression: ...
+    @overload
+    def __add__(self, arg0: float) -> Expression: ...
+    def __eq__(self, arg0: object) -> bool: ...
+    def __getitem__(self, idx: int) -> Term: ...
+    def __hash__(self) -> int: ...
+    @overload
+    def __init__(self, terms: Sequence[Term], constant: float = 0.0) -> None:
+        """Create an expression with a given list of terms and a constant.
+
+        Args:
+            terms: The list of terms.
+            constant: The constant.
+        """
+
+    @overload
+    def __init__(self, term: Term, constant: float = 0.0) -> None:
+        """Create an expression with a given term and a constant.
+
+        Args:
+            term: The term.
+            constant: The constant.
+        """
+
+    @overload
+    def __init__(self, constant: float = 0.0) -> None:
+        """Create an expression with a given constant.
+
+        Args:
+            constant: The constant.
+        """
+
+    def __iter__(self) -> Iterator[Term]: ...
+    def __len__(self) -> int: ...
+    def __mul__(self, arg0: float) -> Expression: ...
+    def __ne__(self, arg0: object) -> bool: ...
+    @overload
+    def __radd__(self, arg0: Term) -> Expression: ...
+    @overload
+    def __radd__(self, arg0: float) -> Expression: ...
+    def __rmul__(self, arg0: float) -> Expression: ...
+    @overload
+    def __rsub__(self, arg0: Term) -> Expression: ...
+    @overload
+    def __rsub__(self, arg0: float) -> Expression: ...
+    def __rtruediv__(self, arg0: float) -> Expression: ...
+    @overload
+    def __sub__(self, arg0: Expression) -> Expression: ...
+    @overload
+    def __sub__(self, arg0: Term) -> Expression: ...
+    @overload
+    def __sub__(self, arg0: float) -> Expression: ...
+    def __truediv__(self, arg0: float) -> Expression: ...
+    def evaluate(self, assignment: Mapping[Variable, float]) -> float:
+        """Evaluate the expression with a given variable assignment.
+
+        Args:
+            assignment: The variable assignment.
+
+        Returns:
+            The evaluated value of the expression.
+        """
+
+    def is_constant(self) -> bool:
+        """Check if the expression is a constant."""
+
+    def is_zero(self) -> bool:
+        """Check if the expression is zero."""
+
+    def num_terms(self) -> int:
+        """The number of terms in the expression."""
+
+    @property
+    def terms(self) -> list[Term]:
+        """The terms of the expression."""
+
+    @property
+    def variables(self) -> set[Variable]:
+        """The variables in the expression."""

mqt/core/lib/pkgconfig/spdlog.pc

@@ -0,0 +1,13 @@
+prefix=/var/folders/q1/lmdr88vx1k90l53fxl9p8lwc0000gn/T/tmp5jjeev51/wheel/platlib/mqt/core
+exec_prefix=${prefix}
+includedir=${prefix}/include
+libdir=${exec_prefix}/lib
+
+Name: libspdlog
+Description: Fast C++ logging library.
+URL: https://github.com/gabime/spdlog
+Version: 1.15.3
+CFlags: -I${includedir} -DSPDLOG_COMPILED_LIB
+Libs: -L${libdir} -lspdlog -pthread
+Requires: 
+

mqt/core/na/__init__.py

@@ -0,0 +1,12 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+"""MQT Core NA - The MQT Core neutral atom module.
+
+This module contains all neutral atom related functionality of MQT Core.
+"""

mqt/core/na/fomac.pyi

@@ -0,0 +1,117 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+"""Reconstruction of NADevice from QDMI's Device class."""
+
+from collections.abc import Iterable
+
+from ..fomac import Device as GenericDevice
+
+__all__ = ["Device"]
+
+class Device(GenericDevice):
+    """Represents a device with a lattice of traps."""
+
+    class Vector:
+        """Represents a 2D vector."""
+
+        x: int
+        """
+        The x-coordinate of the vector.
+        """
+        y: int
+        """
+        The y-coordinate of the vector.
+        """
+        def __eq__(self, other: object) -> bool: ...
+        def __ne__(self, other: object) -> bool: ...
+
+    class Region:
+        """Represents a region in the device."""
+
+        origin: Device.Vector
+        """
+        The origin of the region.
+        """
+
+        class Size:
+            """Represents the size of a region."""
+
+            width: int
+            """
+            The width of the region.
+            """
+            height: int
+            """
+            The height of the region.
+            """
+            def __eq__(self, other: object) -> bool: ...
+            def __ne__(self, other: object) -> bool: ...
+
+        size: Size
+        """
+        The size of the region.
+        """
+
+        def __eq__(self, other: object) -> bool: ...
+        def __ne__(self, other: object) -> bool: ...
+
+    class Lattice:
+        """Represents a lattice of traps in the device."""
+
+        lattice_origin: Device.Vector
+        """
+        The origin of the lattice.
+        """
+        lattice_vector_1: Device.Vector
+        """
+        The first lattice vector.
+        """
+        lattice_vector_2: Device.Vector
+        """
+        The second lattice vector.
+        """
+        sublattice_offsets: Iterable[Device.Vector]
+        """
+        The offsets of the sublattices.
+        """
+        extent: Device.Region
+        """
+        The extent of the lattice.
+        """
+        def __eq__(self, other: object) -> bool: ...
+        def __ne__(self, other: object) -> bool: ...
+
+    traps: Iterable[Device.Lattice]
+    """
+    The list of trap positions in the device.
+    """
+    t1: int
+    """
+    The T1 time of the device.
+    """
+    t2: int
+    """
+    The T2 time of the device.
+    """
+
+    @classmethod
+    def try_create_from_device(cls, device: GenericDevice) -> Device | None:
+        """Create NA FoMaC Device from generic FoMaC Device.
+
+        Args:
+            device: The generic FoMaC Device to convert.
+
+        Returns:
+            The converted NA FoMaC Device or None if the conversion is not possible.
+        """
+    def __eq__(self, other: object) -> bool: ...
+    def __ne__(self, other: object) -> bool: ...
+
+def devices() -> Iterable[Device]:
+    """Returns a list of available devices."""

mqt/core/plugins/__init__.py

@@ -0,0 +1,9 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+"""Plugins for the core package."""

mqt/core/plugins/qiskit/__init__.py

@@ -0,0 +1,19 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+"""MQT Qiskit Plugin."""
+
+from __future__ import annotations
+
+from .mqt_to_qiskit import mqt_to_qiskit
+from .qiskit_to_mqt import qiskit_to_mqt
+
+__all__ = [
+    "mqt_to_qiskit",
+    "qiskit_to_mqt",
+]