diff --git a/extern/mqt-core b/extern/mqt-core
index 0e8afc48..2b2675ea 160000
--- a/extern/mqt-core
+++ b/extern/mqt-core
@@ -1 +1 @@
-Subproject commit 0e8afc486515df7258f1dd47800803b0154f0bbb
+Subproject commit 2b2675eac23b3b751db5ac6d7e13695e94e9d3d1
diff --git a/include/checker/dd/DDSimulationChecker.hpp b/include/checker/dd/DDSimulationChecker.hpp
index ce581196..ba18bb80 100644
--- a/include/checker/dd/DDSimulationChecker.hpp
+++ b/include/checker/dd/DDSimulationChecker.hpp
@@ -19,13 +19,13 @@ class DDSimulationChecker final
   void setRandomInitialState(StateGenerator& generator);
 
   [[nodiscard]] dd::CVec getInitialVector() const {
-    return dd->getVector(initialState);
+    return initialState.getVector();
   }
   [[nodiscard]] dd::CVec getInternalVector1() const {
-    return dd->getVector(taskManager1.getInternalState());
+    return taskManager1.getInternalState().getVector();
   }
   [[nodiscard]] dd::CVec getInternalVector2() const {
-    return dd->getVector(taskManager2.getInternalState());
+    return taskManager2.getInternalState().getVector();
   }
 
   void json(nlohmann::json& j) const noexcept override {
diff --git a/include/checker/dd/applicationscheme/LookaheadApplicationScheme.hpp b/include/checker/dd/applicationscheme/LookaheadApplicationScheme.hpp
index 0a9215fe..7bcf3352 100644
--- a/include/checker/dd/applicationscheme/LookaheadApplicationScheme.hpp
+++ b/include/checker/dd/applicationscheme/LookaheadApplicationScheme.hpp
@@ -45,11 +45,11 @@ class LookaheadApplicationScheme final
     // compute both possible applications and measure the resulting size
     auto       saved = *internalState;
     const auto dd1   = package->multiply(op1, saved);
-    const auto size1 = package->size(dd1);
+    const auto size1 = dd1.size();
     const auto dd2   = package->multiply(saved, op2);
 
     // greedily chose the smaller resulting decision diagram
-    if (const auto size2 = package->size(dd2); size1 <= size2) {
+    if (const auto size2 = dd2.size(); size1 <= size2) {
       assert(!this->taskManager1.finished());
       *internalState = dd1;
       package->decRef(op1);
diff --git a/src/checker/dd/DDEquivalenceChecker.cpp b/src/checker/dd/DDEquivalenceChecker.cpp
index 7d3d1892..4f26ffe0 100644
--- a/src/checker/dd/DDEquivalenceChecker.cpp
+++ b/src/checker/dd/DDEquivalenceChecker.cpp
@@ -130,11 +130,11 @@ EquivalenceCriterion DDEquivalenceChecker<DDType, Config>::run() {
 
   // determine maximum number of nodes used
   if constexpr (std::is_same_v<DDType, qc::MatrixDD>) {
-    maxActiveNodes = dd->mUniqueTable.getStats().peakActiveEntryCount;
+    maxActiveNodes = dd->mUniqueTable.getPeakNumActiveEntries();
   }
 
   if constexpr (std::is_same_v<DDType, qc::VectorDD>) {
-    maxActiveNodes = dd->vUniqueTable.getStats().peakActiveEntryCount;
+    maxActiveNodes = dd->vUniqueTable.getPeakNumActiveEntries();
   }
 
   const auto end = std::chrono::steady_clock::now();