refactor: 💄 Added MQT Logo to GUI

cda-tum · Mar 5, 2024 · 95cdf46 · 95cdf46
1 parent ad9e5f1
commit 95cdf46
Show file tree

Hide file tree

Showing 6 changed files with 301 additions and 37 deletions.
diff --git a/README.md b/README.md
diff --git a/app/page.tsx b/app/page.tsx
@@ -49,7 +49,7 @@ export default function Home() {
     <main className="flex h-screen flex-col items-center font-sans">
       <nav className="flex items-center justify-between w-screen bg-slate-100 p-5">
         <a href="#" className="text-gray-900 font-medium flex flex-row gap-2 items-center"><Image alt="TUM" src={"tum_logo.svg"} width={60} height={1}></Image>MQT Pathfinder</a>
-        <a target="_blank" href="https://www.cda.cit.tum.de/research/quantum/" className="text-gray-900 font-medium hidden md:block">More on our Work</a>
+        <a target="_blank" href="https://www.cda.cit.tum.de/research/quantum/" className="text-gray-900 font-medium hidden md:block"><Image alt="MQT" src={"mqt_dark.png"} width={120} height={1} unoptimized></Image></a>
         <a href="legal" className="text-gray-900 font-medium hidden md:block">Legal Information</a>
         <a href="legal" className="text-gray-900 font-medium block md:hidden"><Image alt="i" src={"info.png"} width={20} height={1}></Image></a>
       </nav>

diff --git a/local-tests/test_for_paper.py b/local-tests/test_for_paper.py
@@ -0,0 +1,34 @@
+import os
+import os.path
+import mqt.qubomaker as qm
+from mqt.qubomaker import Graph
+from mqt.qubomaker import pathfinder as pf
+import tsplib95
+
+graph = Graph.from_adjacency_matrix([
+    [0, 2, 6, 6, 2],
+    [5, 0, 1, 7, 8],
+    [7, 3, 0, 5, 4],
+    [4, 8, 1, 0, 3],
+    [9, 6, 7, 2, 0],
+])
+
+encoding_type = pf.EncodingType.DOMAIN_WALL
+n_paths = 1
+max_path_length = graph.n_vertices
+loop = True
+settings = pf.PathFindingQUBOGeneratorSettings(encoding_type, n_paths, max_path_length, loop)
+
+generator = pf.PathFindingQUBOGenerator(
+    objective_function=pf.MinimizePathLength(path_ids=[1]), 
+    graph=graph, 
+    settings=settings
+)
+
+generator.add_constraint(pf.PathIsValid(path_ids=[1]))
+generator.add_constraint(pf.PathContainsVerticesExactlyOnce(vertex_ids=graph.all_vertices, path_ids=[1]))
+generator.add_constraint(pf.PrecedenceConstraint(1, 3, path_ids=[1]))
+generator.add_constraint(pf.PrecedenceConstraint(2, 1, path_ids=[1]))
+generator.add_constraint(pf.PrecedenceConstraint(5, 4, path_ids=[1]))
+
+generator.construct_qubo_matrix()