chore: update

packages/contracts/run-smt-setup

@@ -0,0 +1,12 @@
+#!/bin/bash
+
+# Define paths
+foundryTomlPath="foundry.toml"
+backupFoundryTomlPath="foundry.toml.backup"
+smtScriptPath="scripts/smt-checker/smt/smt.ts"
+
+# Copy foundry.toml to backup file
+cp -p "$foundryTomlPath" "$backupFoundryTomlPath"
+
+# Run smt.ts script
+npx tsx "$smtScriptPath"

packages/contracts/scripts/smt-checker/README.md

@@ -13,7 +13,7 @@ Before proceeding, ensure that you have `g++` and `python3` installed on your sy
 
 ### Run script:
 ```sh
-sh ./update-dependencies.sh
+./update-deps-ubuntu
 ```
 
 Once installed, you can verify that Z3 is correctly installed by checking the version number.
@@ -41,7 +41,7 @@ https://github.com/molecula451/ubiquity-dollar/assets/41552663/cdcf3982-94a4-4cf
 Ensure that your repository is up-to-date with the latest npm/yarn packages, then run the following command:
 
 ```sh
-sh ./run-smt-setup.sh
+./run-smt-setup
 ```
 
 

packages/contracts/scripts/smt-checker/update-deps-ubuntu

@@ -0,0 +1,22 @@
+#!/bin/bash
+
+# Install dependencies
+apt-get update && sudo apt-get install -y g++ && \
+apt-get install -y wget
+apt-get install -y z3 && \
+apt-get install -y libz3-dev && \
+
+# Download and install Z3
+wget https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.11.0.tar.gz && \
+tar -zxvf z3-4.11.0.tar.gz && \
+cd z3-z3-4.11.0 && \
+python3 scripts/mk_make.py && \
+cd build && \
+make -j$(nproc) && \
+make install && \
+cp libz3.so libz3.so.4.11 && \
+mv libz3.so.4.11 /usr/lib/x86_64-linux-gnu && \
+echo "Successfully copied Z3 to the system" && \
+
+# Print success message
+echo "Z3 installation completed successfully!"