add path of utils.hpp to CMakeLists.txt

cda-tum · Sep 10, 2024 · af662c3 · af662c3
1 parent c78224d
commit af662c3
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 11 deletions.
diff --git a/include/cliffordsynthesis/CliffordSynthesizer.hpp b/include/cliffordsynthesis/CliffordSynthesizer.hpp
@@ -188,16 +188,6 @@ class CliffordSynthesizer {
                             const Results& newResults, Results& currentResults);
   void removeRedundantGates();
 
-  static CouplingMap getFullyConnectedMap(const std::uint16_t nQubits) {
-    CouplingMap result{};
-    for (std::uint16_t q = 0; q < nQubits; ++q) {
-      for (std::uint16_t p = q + 1; p < nQubits; ++p) {
-        result.emplace(q, p);
-        result.emplace(p, q);
-      }
-    }
-    return result;
-  }
 };
 
 } // namespace cs
diff --git a/src/cliffordsynthesis/CMakeLists.txt b/src/cliffordsynthesis/CMakeLists.txt
@@ -10,11 +10,12 @@ if(NOT TARGET ${MQT_QMAP_CLIFFORD_SYNTHESIS_TARGET_NAME})
   file(GLOB_RECURSE CLIFFORD_SYNTHESIS_HEADERS
        ${MQT_QMAP_INCLUDE_BUILD_DIR}/cliffordsynthesis/*.hpp)
   file(GLOB_RECURSE CLIFFORD_SYNTHESIS_SOURCES **.cpp)
+  list(APPEND CLIFFORD_SYNTHESIS_SOURCES "${CMAKE_SOURCE_DIR}/src/sc/utils.cpp")
 
   # add CliffordSynthesis Package library
   add_library(${MQT_QMAP_CLIFFORD_SYNTHESIS_TARGET_NAME} ${CLIFFORD_SYNTHESIS_HEADERS}
                                                          ${CLIFFORD_SYNTHESIS_SOURCES})
-
+  message(${CLIFFORD_SYNTHESIS_SOURCES})
   # set include directories
   target_include_directories(${MQT_QMAP_CLIFFORD_SYNTHESIS_TARGET_NAME}
                              PUBLIC $<BUILD_INTERFACE:${MQT_QMAP_INCLUDE_BUILD_DIR}>)

diff --git a/src/cliffordsynthesis/CliffordSynthesizer.cpp b/src/cliffordsynthesis/CliffordSynthesizer.cpp
@@ -87,6 +87,7 @@ void CliffordSynthesizer::synthesize(const Configuration& config) {
     const auto [lowerBin, upperBin] = determineUpperBound(encoderConfig);
     lower = lowerBin;
     upper = upperBin;
+    PLOG_INFO << "Upper bound " << upperBin;
 
     // if the upper bound is 0, the solution does not require any gates and the
     // synthesis is done.
@@ -97,7 +98,10 @@ void CliffordSynthesizer::synthesize(const Configuration& config) {
   }
   // Otherwise, the determined upper bound is used as an initial timestep
   // limit.
+
   encoderConfig.timestepLimit = upper;
+  PLOG_INFO << "Upper bound " << encoderConfig.timestepLimit;
+
   // Once a valid upper bound is found, the SAT problem is solved again with
   // the objective function encoded.
   switch (config.target) {