From a5134a25cce98451aa2d0b04acabe2f35c6a18f9 Mon Sep 17 00:00:00 2001
From: ecrum19 <elicrum88@gmail.com>
Date: Fri, 29 Aug 2025 15:52:36 +0200
Subject: [PATCH] trying to build and get z3-solver to work

---
 index.html                                 |   2 +-
 z3-built.js => public/z3-built.js          |   0
 z3-built.wasm => public/z3-built.wasm      | Bin
 src/components/Guides/DataPrivacyGuide.vue |   0
 4 files changed, 1 insertion(+), 1 deletion(-)
 rename z3-built.js => public/z3-built.js (100%)
 rename z3-built.wasm => public/z3-built.wasm (100%)
 create mode 100644 src/components/Guides/DataPrivacyGuide.vue

diff --git a/index.html b/index.html
index 4d56a0a9..a27327ac 100644
--- a/index.html
+++ b/index.html
@@ -7,7 +7,7 @@
     <title>Solid Cockpit</title>
 
     <!-- section to help make the Z3 solver work in a browser setting -->
-    <script src="./z3-built.js"></script>
+    <script src="/z3-built.js"></script>
     <script>
       globalThis.global = { initZ3: globalThis.initZ3 };
     </script>
diff --git a/z3-built.js b/public/z3-built.js
similarity index 100%
rename from z3-built.js
rename to public/z3-built.js
diff --git a/z3-built.wasm b/public/z3-built.wasm
similarity index 100%
rename from z3-built.wasm
rename to public/z3-built.wasm
diff --git a/src/components/Guides/DataPrivacyGuide.vue b/src/components/Guides/DataPrivacyGuide.vue
new file mode 100644
index 00000000..e69de29b