Merge pull request #44 from KNowledgeOnWebScale/EDC_active

trying to build and get z3-solver to work

Author: ecrum19

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>