Initial

Author: ViRb3

.github/workflows/release.yml

@@ -0,0 +1,38 @@
+name: Release
+
+on:
+  push:
+    tags:
+      - "*"
+
+jobs:
+  binaries:
+    runs-on: ubuntu-20.04
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3.0.2
+
+      - name: Build
+        run: |
+          git clone https://github.com/emscripten-core/emsdk.git --depth 1 --branch "$EMSDK_TAG"
+          cd emsdk
+          ./emsdk install latest
+          ./emsdk activate latest
+          source ./emsdk_env.sh
+          cd ..
+          git clone --depth 1 --branch "$Z3_TAG" https://github.com/Z3Prover/z3
+          cd z3/src/api/js/
+          npm i
+          npm run build-ts
+          npm run build-wasm
+          (cd build/ && tar -czf ../z3.tar.gz *)
+        env:
+          EMSDK_TAG: "3.1.9"
+          Z3_TAG: "z3-4.8.15"
+
+      - name: Release
+        uses: ncipollo/release-action@v1.10.0
+        with:
+          artifacts: "z3/src/api/js/z3.tar.gz"
+          token: ${{ secrets.GITHUB_TOKEN }}

README.md

@@ -0,0 +1,20 @@
+# z3-wasm
+
+A simple Z3 SMT2 analyzer, ran entirely in your browser using WebAssembly.
+
+## Using
+
+Grab the pre-built artifacts from the releases. For how to use them, check out the official binding [notes](https://github.com/Z3Prover/z3/blob/master/src/api/js/PUBLISHED_README.md). The included test cases are a great starting point.
+
+## Building
+
+The [official guide](https://github.com/Z3Prover/z3/tree/master/src/api/js) explains this well. You can also check the GitHub workflow.
+
+For Docker Ubuntu 22.04, you will need the following pre-setup:
+
+```bash
+apt update
+apt install build-essential git python3
+ln /usr/bin/python3 /usr/bin/python
+```
+