mqt-core 3.2.1__cp313-cp313t-win_amd64.whl → 3.3.0__cp313-cp313t-win_amd64.whl

mqt/core/plugins/qiskit/qiskit_to_mqt.py

@@ -14,12 +14,16 @@ import re
 import warnings
 from typing import TYPE_CHECKING, cast
 
-from qiskit.circuit import AncillaRegister, Clbit, Qubit
+from qiskit.circuit import AncillaRegister, Clbit
+from qiskit.circuit import ClassicalRegister as QiskitClassicalRegister
+from qiskit.circuit.classical import expr
 
 from ...ir import QuantumComputation
 from ...ir.operations import (
+    ComparisonKind,
     CompoundOperation,
     Control,
+    IfElseOperation,
     NonUnitaryOperation,
     OpType,
     StandardOperation,
@@ -30,7 +34,10 @@ from ...ir.symbolic import Expression, Term, Variable
 if TYPE_CHECKING:
     from collections.abc import Mapping, Sequence
 
-    from qiskit.circuit import Instruction, ParameterExpression, QuantumCircuit
+    from qiskit.circuit import IfElseOp, Instruction, ParameterExpression, QuantumCircuit, Qubit
+
+    from ...ir.operations import Operation
+    from ...ir.registers import ClassicalRegister
 
 
 __all__ = ["qiskit_to_mqt"]
@@ -98,6 +105,7 @@ def qiskit_to_mqt(circ: QuantumCircuit) -> QuantumComputation:
             instruction.operation.params,
             qubit_map,
             clbit_map,
+            qc.cregs,
         )
         for symb_param in symb_params:
             qc.add_variable(symb_param)
@@ -166,6 +174,7 @@ _NATIVELY_SUPPORTED_GATES = frozenset({
     "rzz",
     "xx_minus_yy",
     "xx_plus_yy",
+    "if_else",
     "reset",
     "barrier",
     "measure",
@@ -180,12 +189,13 @@ def _emplace_operation(
     params: Sequence[float | ParameterExpression],
     qubit_map: Mapping[Qubit, int],
     clbit_map: Mapping[Clbit, int],
+    cregs: Mapping[str, ClassicalRegister],
 ) -> list[float | ParameterExpression]:
     name = instr.name
 
     if name not in _NATIVELY_SUPPORTED_GATES:
         try:
-            return _import_definition(qc, instr.definition, qargs, cargs, qubit_map, clbit_map)
+            return _import_definition(qc, instr.definition, qargs, cargs, qubit_map, clbit_map, cregs)
         except Exception as ex:  # PRAGMA: NO COVER
             msg = f"Unsupported gate {name} with definition {instr.definition}"
             raise NotImplementedError(msg) from ex
@@ -303,6 +313,9 @@ def _emplace_operation(
     if name == "xx_plus_yy":
         return _add_two_target_operation(qc, OpType.xx_plus_yy, qargs, params, qubit_map)
 
+    if name == "if_else":
+        return _add_if_else_operation(qc, instr, qargs, cargs, qubit_map, clbit_map, cregs)
+
     msg = f"Unsupported gate {name}"  # pragma: no cover
     raise NotImplementedError(msg)
 
@@ -393,6 +406,94 @@ def _add_two_target_operation(
     return parameters
 
 
+def _add_if_else_operation(
+    qc: QuantumComputation | CompoundOperation,
+    if_else_op: IfElseOp,
+    qargs: Sequence[Qubit],
+    cargs: Sequence[Clbit],
+    qubit_map: Mapping[Qubit, int],
+    clbit_map: Mapping[Clbit, int],
+    cregs: Mapping[str, ClassicalRegister],
+) -> list[float | ParameterExpression]:
+    then_operation_compound = CompoundOperation()
+    then_params = _import_definition(
+        then_operation_compound,
+        if_else_op.params[0],
+        qargs,
+        cargs,
+        qubit_map,
+        clbit_map,
+        cregs,
+    )
+    then_operation: Operation = then_operation_compound[0]
+    if isinstance(then_operation, CompoundOperation) and len(then_operation) == 1:
+        then_operation = then_operation[0]
+
+    else_operation: Operation | None = None
+    else_params: list[float | ParameterExpression] = []
+    if if_else_op.params[1] is not None:
+        else_operation_compound = CompoundOperation()
+        else_params = _import_definition(
+            else_operation_compound,
+            if_else_op.params[1],
+            qargs,
+            cargs,
+            qubit_map,
+            clbit_map,
+            cregs,
+        )
+        else_operation = else_operation_compound[0]
+        if isinstance(else_operation, CompoundOperation) and len(else_operation) == 1:
+            else_operation = else_operation[0]
+
+    condition = if_else_op.condition
+    if isinstance(condition, tuple):
+        assert len(condition) == 2
+        classical_control = condition[0]
+        expected_value = condition[1]
+        comparison_kind = ComparisonKind.eq
+    else:
+        assert isinstance(condition, expr.Binary)
+        classical_control = condition.left.var
+        expected_value = condition.right.value
+        if condition.op == expr.Binary.Op.EQUAL:
+            comparison_kind = ComparisonKind.eq
+        elif condition.op == expr.Binary.Op.NOT_EQUAL:
+            comparison_kind = ComparisonKind.neq
+        elif condition.op == expr.Binary.Op.LESS:
+            comparison_kind = ComparisonKind.lt
+        elif condition.op == expr.Binary.Op.LESS_EQUAL:
+            comparison_kind = ComparisonKind.leq
+        elif condition.op == expr.Binary.Op.GREATER:
+            comparison_kind = ComparisonKind.gt
+        elif condition.op == expr.Binary.Op.GREATER_EQUAL:
+            comparison_kind = ComparisonKind.geq
+        else:
+            msg = f"Unsupported binary operation {condition.op}"
+            raise TypeError(msg)
+
+    if isinstance(classical_control, Clbit):
+        if_else_operation = IfElseOperation(
+            then_operation,
+            else_operation,
+            clbit_map[classical_control],
+            bool(expected_value),
+            comparison_kind,
+        )
+    else:
+        assert isinstance(classical_control, QiskitClassicalRegister)
+        if_else_operation = IfElseOperation(
+            then_operation,
+            else_operation,
+            cregs[classical_control.name],
+            int(expected_value),
+            comparison_kind,
+        )
+    qc.append(if_else_operation)
+
+    return then_params + else_params
+
+
 def _import_layouts(qc: QuantumComputation, circ: QuantumCircuit) -> None:
     qc.initial_layout.clear()
     initial_index_layout = circ.layout.initial_index_layout()
@@ -430,9 +531,10 @@ def _import_definition(
     cargs: Sequence[Clbit],
     qubit_map: Mapping[Qubit, int],
     clbit_map: Mapping[Clbit, int],
+    cregs: Mapping[str, ClassicalRegister],
 ) -> list[float | ParameterExpression]:
-    qarg_map = dict(zip(circ.qubits, qargs))
-    carg_map = dict(zip(circ.clbits, cargs))
+    qarg_map = dict(zip(circ.qubits, qargs, strict=False))
+    carg_map = dict(zip(circ.clbits, cargs, strict=False))
 
     qc.append(CompoundOperation())
     comp_op = cast("CompoundOperation", qc[-1])
@@ -450,6 +552,7 @@ def _import_definition(
             operation.params,
             qubit_map,
             clbit_map,
+            cregs,
         )
         params.extend(new_params)
     return params

mqt/core/share/cmake/mqt-core/AddMQTPythonBinding.cmake

@@ -41,6 +41,9 @@ function(add_mqt_python_binding package_name target_name)
   # add project libraries to the link libraries
   list(APPEND ARG_LINK_LIBS MQT::ProjectOptions MQT::ProjectWarnings)
 
+  # Set c++ standard
+  target_compile_features(${target_name} PRIVATE cxx_std_20)
+
   # link the required libraries
   target_link_libraries(${target_name} PRIVATE ${ARG_LINK_LIBS})
 

mqt/core/share/cmake/mqt-core/Cache.cmake

@@ -11,22 +11,23 @@ if(NOT ENABLE_CACHE)
   return()
 endif()
 
-set(CACHE_OPTION_VALUES "ccache" "sccache")
-set(CACHE_OPTION
-    "ccache"
-    CACHE STRING "Compiler cache to use")
-set_property(CACHE CACHE_OPTION PROPERTY STRINGS ${CACHE_OPTION_VALUES})
-list(FIND CACHE_OPTION_VALUES ${CACHE_OPTION} CACHE_OPTION_INDEX)
-if(CACHE_OPTION_INDEX EQUAL -1)
-  message(NOTICE
-          "Unknown compiler cache '${CACHE_OPTION}'. Available options are: ${CACHE_OPTION_VALUES}")
-endif()
+# Check for available cache programs, preferring sccache
+find_program(SCCACHE_BINARY sccache)
+find_program(CCACHE_BINARY ccache)
 
-find_program(CACHE_BINARY ${CACHE_OPTION})
-if(CACHE_BINARY)
-  message(STATUS "Compiler cache '${CACHE_OPTION}' found and enabled")
-  set(CMAKE_C_COMPILER_LAUNCHER ${CACHE_BINARY})
-  set(CMAKE_CXX_COMPILER_LAUNCHER ${CACHE_BINARY})
+if(SCCACHE_BINARY)
+  set(CACHE_OPTION "sccache")
+  set(CACHE_BINARY ${SCCACHE_BINARY})
+  message(STATUS "Compiler cache 'sccache' found and enabled")
+elseif(CCACHE_BINARY)
+  set(CACHE_OPTION "ccache")
+  set(CACHE_BINARY ${CCACHE_BINARY})
+  message(STATUS "Compiler cache 'ccache' found and enabled")
 else()
-  message(NOTICE "${CACHE_OPTION} is enabled but was not found. Not using it")
+  set(CACHE_OPTION_VALUES "ccache" "sccache")
+  message(NOTICE "No compiler cache found. Checked for: ${CACHE_OPTION_VALUES}")
+  return()
 endif()
+
+set(CMAKE_C_COMPILER_LAUNCHER ${CACHE_BINARY})
+set(CMAKE_CXX_COMPILER_LAUNCHER ${CACHE_BINARY})

mqt/core/share/cmake/mqt-core/PackageAddTest.cmake

@@ -20,6 +20,9 @@ macro(PACKAGE_ADD_TEST testname linklibs)
       WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
       PROPERTIES VS_DEBUGGER_WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}" DISCOVERY_TIMEOUT 60)
     set_target_properties(${testname} PROPERTIES FOLDER tests)
+
+    # Set c++ standard
+    target_compile_features(${testname} PRIVATE cxx_std_20)
   endif()
 endmacro()
 
@@ -36,5 +39,8 @@ macro(PACKAGE_ADD_TEST_WITH_WORKING_DIR testname linklibs test_working_directory
       WORKING_DIRECTORY ${test_working_directory}
       PROPERTIES VS_DEBUGGER_WORKING_DIRECTORY "${test_working_directory}" DISCOVERY_TIMEOUT 60)
     set_target_properties(${testname} PROPERTIES FOLDER tests)
+
+    # Set c++ standard
+    target_compile_features(${testname} PRIVATE cxx_std_20)
   endif()
 endmacro()

mqt/core/share/cmake/mqt-core/StandardProjectSettings.cmake

@@ -58,7 +58,7 @@ endif()
 if(DEPLOY)
   # set the macOS deployment target appropriately
   set(CMAKE_OSX_DEPLOYMENT_TARGET
-      "10.15"
+      "11.0"
       CACHE STRING "" FORCE)
 endif()
 

mqt/core/share/cmake/mqt-core/mqt-core-config-version.cmake

@@ -10,13 +10,13 @@
 # The variable CVF_VERSION must be set before calling configure_file().
 
 
-set(PACKAGE_VERSION "3.2.1")
+set(PACKAGE_VERSION "3.3.0")
 
 if(PACKAGE_VERSION VERSION_LESS PACKAGE_FIND_VERSION)
   set(PACKAGE_VERSION_COMPATIBLE FALSE)
 else()
 
-  if("3.2.1" MATCHES "^([0-9]+)\\.([0-9]+)")
+  if("3.3.0" MATCHES "^([0-9]+)\\.([0-9]+)")
     set(CVF_VERSION_MAJOR "${CMAKE_MATCH_1}")
     set(CVF_VERSION_MINOR "${CMAKE_MATCH_2}")
 
@@ -27,7 +27,7 @@ else()
       string(REGEX REPLACE "^0+" "" CVF_VERSION_MINOR "${CVF_VERSION_MINOR}")
     endif()
   else()
-    set(CVF_VERSION_MAJOR "3.2.1")
+    set(CVF_VERSION_MAJOR "3.3.0")
     set(CVF_VERSION_MINOR "")
   endif()
 

mqt/core/share/cmake/mqt-core/mqt-core-config.cmake

@@ -21,6 +21,9 @@ list(APPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}")
 
 include(CMakeFindDependencyMacro)
 find_dependency(nlohmann_json)
+
+find_dependency(qdmi)
+
 option(MQT_CORE_WITH_GMP "Library is configured to use GMP" OFF)
 if(MQT_CORE_WITH_GMP)
   find_dependency(GMP)

mqt/core/share/cmake/mqt-core/mqt-core-targets-release.cmake

@@ -76,6 +76,36 @@ set_target_properties(MQT::CoreZX PROPERTIES
 list(APPEND _cmake_import_check_targets MQT::CoreZX )
 list(APPEND _cmake_import_check_files_for_MQT::CoreZX "${_IMPORT_PREFIX}/lib/mqt-core-zx.lib" "${_IMPORT_PREFIX}/bin/mqt-core-zx.dll" )
 
+# Import target "MQT::CoreNaDeviceGen" for configuration "Release"
+set_property(TARGET MQT::CoreNaDeviceGen APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(MQT::CoreNaDeviceGen PROPERTIES
+  IMPORTED_LINK_INTERFACE_LANGUAGES_RELEASE "CXX"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/mqt-core-qdmi-na-device-gen.lib"
+  )
+
+list(APPEND _cmake_import_check_targets MQT::CoreNaDeviceGen )
+list(APPEND _cmake_import_check_files_for_MQT::CoreNaDeviceGen "${_IMPORT_PREFIX}/lib/mqt-core-qdmi-na-device-gen.lib" )
+
+# Import target "MQT::CoreQDMINaDevice" for configuration "Release"
+set_property(TARGET MQT::CoreQDMINaDevice APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(MQT::CoreQDMINaDevice PROPERTIES
+  IMPORTED_IMPLIB_RELEASE "${_IMPORT_PREFIX}/lib/mqt-core-qdmi-na-device.lib"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/mqt-core-qdmi-na-device.dll"
+  )
+
+list(APPEND _cmake_import_check_targets MQT::CoreQDMINaDevice )
+list(APPEND _cmake_import_check_files_for_MQT::CoreQDMINaDevice "${_IMPORT_PREFIX}/lib/mqt-core-qdmi-na-device.lib" "${_IMPORT_PREFIX}/bin/mqt-core-qdmi-na-device.dll" )
+
+# Import target "MQT::CoreNAFoMaC" for configuration "Release"
+set_property(TARGET MQT::CoreNAFoMaC APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(MQT::CoreNAFoMaC PROPERTIES
+  IMPORTED_IMPLIB_RELEASE "${_IMPORT_PREFIX}/lib/mqt-core-na-fomac.lib"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/mqt-core-na-fomac.dll"
+  )
+
+list(APPEND _cmake_import_check_targets MQT::CoreNAFoMaC )
+list(APPEND _cmake_import_check_files_for_MQT::CoreNAFoMaC "${_IMPORT_PREFIX}/lib/mqt-core-na-fomac.lib" "${_IMPORT_PREFIX}/bin/mqt-core-na-fomac.dll" )
+
 # Import target "MQT::CoreNA" for configuration "Release"
 set_property(TARGET MQT::CoreNA APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
 set_target_properties(MQT::CoreNA PROPERTIES
@@ -86,5 +116,26 @@ set_target_properties(MQT::CoreNA PROPERTIES
 list(APPEND _cmake_import_check_targets MQT::CoreNA )
 list(APPEND _cmake_import_check_files_for_MQT::CoreNA "${_IMPORT_PREFIX}/lib/mqt-core-na.lib" "${_IMPORT_PREFIX}/bin/mqt-core-na.dll" )
 
+# Import target "MQT::CoreQDMIDriver" for configuration "Release"
+set_property(TARGET MQT::CoreQDMIDriver APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(MQT::CoreQDMIDriver PROPERTIES
+  IMPORTED_IMPLIB_RELEASE "${_IMPORT_PREFIX}/lib/mqt-core-qdmi-driver.lib"
+  IMPORTED_LINK_DEPENDENT_LIBRARIES_RELEASE "MQT::CoreQDMINaDevice"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/mqt-core-qdmi-driver.dll"
+  )
+
+list(APPEND _cmake_import_check_targets MQT::CoreQDMIDriver )
+list(APPEND _cmake_import_check_files_for_MQT::CoreQDMIDriver "${_IMPORT_PREFIX}/lib/mqt-core-qdmi-driver.lib" "${_IMPORT_PREFIX}/bin/mqt-core-qdmi-driver.dll" )
+
+# Import target "MQT::CoreFoMaC" for configuration "Release"
+set_property(TARGET MQT::CoreFoMaC APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(MQT::CoreFoMaC PROPERTIES
+  IMPORTED_IMPLIB_RELEASE "${_IMPORT_PREFIX}/lib/mqt-core-fomac.lib"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/mqt-core-fomac.dll"
+  )
+
+list(APPEND _cmake_import_check_targets MQT::CoreFoMaC )
+list(APPEND _cmake_import_check_files_for_MQT::CoreFoMaC "${_IMPORT_PREFIX}/lib/mqt-core-fomac.lib" "${_IMPORT_PREFIX}/bin/mqt-core-fomac.dll" )
+
 # Commands beyond this point should not need to know the version.
 set(CMAKE_IMPORT_FILE_VERSION)

mqt/core/share/cmake/mqt-core/mqt-core-targets.cmake

@@ -19,7 +19,7 @@ set(CMAKE_IMPORT_FILE_VERSION 1)
 set(_cmake_targets_defined "")
 set(_cmake_targets_not_defined "")
 set(_cmake_expected_targets "")
-foreach(_cmake_expected_target IN ITEMS MQT::ProjectWarnings MQT::ProjectOptions MQT::CoreIR MQT::CoreQASM MQT::CoreAlgorithms MQT::CoreCircuitOptimizer MQT::CoreDS MQT::CoreDD MQT::CoreZX MQT::multiprecision MQT::CoreNA)
+foreach(_cmake_expected_target IN ITEMS MQT::ProjectWarnings MQT::ProjectOptions MQT::CoreIR MQT::CoreQASM MQT::CoreAlgorithms MQT::CoreCircuitOptimizer MQT::CoreDS MQT::CoreDD MQT::CoreZX MQT::multiprecision MQT::CoreNaDeviceGen MQT::CoreQDMINaDevice MQT::CoreNAFoMaC MQT::CoreNA MQT::CoreQDMIDriver MQT::CoreFoMaC)
   list(APPEND _cmake_expected_targets "${_cmake_expected_target}")
   if(TARGET "${_cmake_expected_target}")
     list(APPEND _cmake_targets_defined "${_cmake_expected_target}")
@@ -83,7 +83,7 @@ if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
       FILE_SET "HEADERS"
       TYPE "HEADERS"
       BASE_DIRS "${_IMPORT_PREFIX}/include/mqt-core"
-      FILES "${_IMPORT_PREFIX}/include/mqt-core/ir/Definitions.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/Permutation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/QuantumComputation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/Register.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/mqt_core_ir_export.h" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/AodOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/ClassicControlledOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/CompoundOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/Control.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/Expression.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/NonUnitaryOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/OpType.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/OpType.inc" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/Operation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/StandardOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/SymbolicOperation.hpp"
+      FILES "${_IMPORT_PREFIX}/include/mqt-core/ir/Definitions.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/Permutation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/QuantumComputation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/Register.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/mqt_core_ir_export.h" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/AodOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/CompoundOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/Control.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/Expression.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/IfElseOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/NonUnitaryOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/OpType.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/OpType.inc" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/Operation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/StandardOperation.hpp" "${_IMPORT_PREFIX}/include/mqt-core/ir/operations/SymbolicOperation.hpp"
   )
 else()
   set_property(TARGET MQT::CoreIR
@@ -96,6 +96,7 @@ endif()
 add_library(MQT::CoreQASM SHARED IMPORTED)
 
 set_target_properties(MQT::CoreQASM PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
   INTERFACE_LINK_LIBRARIES "MQT::CoreIR"
 )
 
@@ -118,6 +119,7 @@ endif()
 add_library(MQT::CoreAlgorithms SHARED IMPORTED)
 
 set_target_properties(MQT::CoreAlgorithms PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
   INTERFACE_LINK_LIBRARIES "MQT::CoreIR"
 )
 
@@ -140,6 +142,7 @@ endif()
 add_library(MQT::CoreCircuitOptimizer SHARED IMPORTED)
 
 set_target_properties(MQT::CoreCircuitOptimizer PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
   INTERFACE_LINK_LIBRARIES "MQT::CoreIR"
 )
 
@@ -162,6 +165,7 @@ endif()
 add_library(MQT::CoreDS SHARED IMPORTED)
 
 set_target_properties(MQT::CoreDS PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
   INTERFACE_LINK_LIBRARIES "MQT::CoreIR"
 )
 
@@ -184,6 +188,7 @@ endif()
 add_library(MQT::CoreDD SHARED IMPORTED)
 
 set_target_properties(MQT::CoreDD PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
   INTERFACE_LINK_LIBRARIES "MQT::CoreIR;nlohmann_json::nlohmann_json"
 )
 
@@ -206,6 +211,7 @@ endif()
 add_library(MQT::CoreZX SHARED IMPORTED)
 
 set_target_properties(MQT::CoreZX PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
   INTERFACE_LINK_LIBRARIES "MQT::CoreIR;MQT::multiprecision"
 )
 
@@ -242,10 +248,79 @@ else()
   )
 endif()
 
+# Create imported target MQT::CoreNaDeviceGen
+add_library(MQT::CoreNaDeviceGen STATIC IMPORTED)
+
+set_target_properties(MQT::CoreNaDeviceGen PROPERTIES
+  INTERFACE_LINK_LIBRARIES "nlohmann_json::nlohmann_json;\$<LINK_ONLY:spdlog::spdlog>;\$<LINK_ONLY:MQT::ProjectOptions>;\$<LINK_ONLY:MQT::ProjectWarnings>"
+)
+
+if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
+  target_sources(MQT::CoreNaDeviceGen
+    INTERFACE
+      FILE_SET "HEADERS"
+      TYPE "HEADERS"
+      BASE_DIRS "${_IMPORT_PREFIX}/include/mqt-core"
+      FILES "${_IMPORT_PREFIX}/include/mqt-core/na/device/Generator.hpp"
+  )
+else()
+  set_property(TARGET MQT::CoreNaDeviceGen
+    APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
+      "${_IMPORT_PREFIX}/include/mqt-core"
+  )
+endif()
+
+# Create imported target MQT::CoreQDMINaDevice
+add_library(MQT::CoreQDMINaDevice SHARED IMPORTED)
+
+set_target_properties(MQT::CoreQDMINaDevice PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
+  INTERFACE_LINK_LIBRARIES "qdmi::qdmi"
+)
+
+if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
+  target_sources(MQT::CoreQDMINaDevice
+    INTERFACE
+      FILE_SET "HEADERS"
+      TYPE "HEADERS"
+      BASE_DIRS "${_IMPORT_PREFIX}/include/mqt-core"
+      FILES "${_IMPORT_PREFIX}/include/mqt-core/mqt_na_qdmi/device.h" "${_IMPORT_PREFIX}/include/mqt-core/mqt_na_qdmi/types.h" "${_IMPORT_PREFIX}/include/mqt-core/na/device/DeviceMemberInitializers.hpp" "${_IMPORT_PREFIX}/include/mqt-core/na/device/Device.hpp"
+  )
+else()
+  set_property(TARGET MQT::CoreQDMINaDevice
+    APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
+      "${_IMPORT_PREFIX}/include/mqt-core"
+  )
+endif()
+
+# Create imported target MQT::CoreNAFoMaC
+add_library(MQT::CoreNAFoMaC SHARED IMPORTED)
+
+set_target_properties(MQT::CoreNAFoMaC PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
+  INTERFACE_LINK_LIBRARIES "MQT::CoreFoMaC;nlohmann_json::nlohmann_json"
+)
+
+if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
+  target_sources(MQT::CoreNAFoMaC
+    INTERFACE
+      FILE_SET "HEADERS"
+      TYPE "HEADERS"
+      BASE_DIRS "${_IMPORT_PREFIX}/include/mqt-core"
+      FILES "${_IMPORT_PREFIX}/include/mqt-core/na/fomac/Device.hpp"
+  )
+else()
+  set_property(TARGET MQT::CoreNAFoMaC
+    APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
+      "${_IMPORT_PREFIX}/include/mqt-core"
+  )
+endif()
+
 # Create imported target MQT::CoreNA
 add_library(MQT::CoreNA SHARED IMPORTED)
 
 set_target_properties(MQT::CoreNA PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
   INTERFACE_LINK_LIBRARIES "MQT::CoreIR"
 )
 
@@ -264,6 +339,52 @@ else()
   )
 endif()
 
+# Create imported target MQT::CoreQDMIDriver
+add_library(MQT::CoreQDMIDriver SHARED IMPORTED)
+
+set_target_properties(MQT::CoreQDMIDriver PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
+  INTERFACE_LINK_LIBRARIES "qdmi::qdmi"
+)
+
+if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
+  target_sources(MQT::CoreQDMIDriver
+    INTERFACE
+      FILE_SET "HEADERS"
+      TYPE "HEADERS"
+      BASE_DIRS "${_IMPORT_PREFIX}/include/mqt-core"
+      FILES "${_IMPORT_PREFIX}/include/mqt-core/qdmi/Driver.hpp"
+  )
+else()
+  set_property(TARGET MQT::CoreQDMIDriver
+    APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
+      "${_IMPORT_PREFIX}/include/mqt-core"
+  )
+endif()
+
+# Create imported target MQT::CoreFoMaC
+add_library(MQT::CoreFoMaC SHARED IMPORTED)
+
+set_target_properties(MQT::CoreFoMaC PROPERTIES
+  INTERFACE_COMPILE_FEATURES "cxx_std_20"
+  INTERFACE_LINK_LIBRARIES "qdmi::qdmi;MQT::CoreQDMIDriver"
+)
+
+if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
+  target_sources(MQT::CoreFoMaC
+    INTERFACE
+      FILE_SET "HEADERS"
+      TYPE "HEADERS"
+      BASE_DIRS "${_IMPORT_PREFIX}/include/mqt-core"
+      FILES "${_IMPORT_PREFIX}/include/mqt-core/fomac/FoMaC.hpp"
+  )
+else()
+  set_property(TARGET MQT::CoreFoMaC
+    APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
+      "${_IMPORT_PREFIX}/include/mqt-core"
+  )
+endif()
+
 # Load information for each installed configuration.
 file(GLOB _cmake_config_files "${CMAKE_CURRENT_LIST_DIR}/mqt-core-targets-*.cmake")
 foreach(_cmake_config_file IN LISTS _cmake_config_files)
@@ -303,7 +424,7 @@ unset(_cmake_import_check_targets)
 # Make sure the targets which have been exported in some other
 # export set exist.
 unset(${CMAKE_FIND_PACKAGE_NAME}_NOT_FOUND_MESSAGE_targets)
-foreach(_target "nlohmann_json::nlohmann_json" )
+foreach(_target "nlohmann_json::nlohmann_json" "spdlog::spdlog" "qdmi::qdmi" )
   if(NOT TARGET "${_target}" )
     set(${CMAKE_FIND_PACKAGE_NAME}_NOT_FOUND_MESSAGE_targets "${${CMAKE_FIND_PACKAGE_NAME}_NOT_FOUND_MESSAGE_targets} ${_target}")
   endif()

mqt/core/share/cmake/nlohmann_json/nlohmann_jsonConfig.cmake

@@ -0,0 +1,15 @@
+include(FindPackageHandleStandardArgs)
+set(${CMAKE_FIND_PACKAGE_NAME}_CONFIG ${CMAKE_CURRENT_LIST_FILE})
+find_package_handle_standard_args(nlohmann_json CONFIG_MODE)
+
+if(NOT TARGET nlohmann_json::nlohmann_json)
+    include("${CMAKE_CURRENT_LIST_DIR}/nlohmann_jsonTargets.cmake")
+    if((NOT TARGET nlohmann_json) AND
+       (NOT nlohmann_json_FIND_VERSION OR
+        nlohmann_json_FIND_VERSION VERSION_LESS 3.2.0))
+        add_library(nlohmann_json INTERFACE IMPORTED)
+        set_target_properties(nlohmann_json PROPERTIES
+            INTERFACE_LINK_LIBRARIES nlohmann_json::nlohmann_json
+        )
+    endif()
+endif()

mqt/core/share/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake

@@ -0,0 +1,20 @@
+# This is essentially cmake's BasicConfigVersion-SameMajorVersion.cmake.in but
+# without the 32/64-bit check.  Since json is a header-only library, it doesn't
+# matter if it was built on a different platform than what it is used on (see
+# https://github.com/nlohmann/json/issues/1697).
+set(PACKAGE_VERSION "3.12.0")
+
+if(PACKAGE_VERSION VERSION_LESS PACKAGE_FIND_VERSION)
+  set(PACKAGE_VERSION_COMPATIBLE FALSE)
+else()
+
+  if(PACKAGE_FIND_VERSION_MAJOR STREQUAL "3")
+    set(PACKAGE_VERSION_COMPATIBLE TRUE)
+  else()
+    set(PACKAGE_VERSION_COMPATIBLE FALSE)
+  endif()
+
+  if(PACKAGE_FIND_VERSION STREQUAL PACKAGE_VERSION)
+      set(PACKAGE_VERSION_EXACT TRUE)
+  endif()
+endif()