# Sekura JS 0.1.0 — Windows x64

This bundle contains the native compiler and verifier, the Z3 solver, required runtime DLLs, and the VS Code extension.

## Run

Open PowerShell in this folder and add it to `PATH` for the current session so `sekura-sjv` can find Z3:

```powershell
$env:Path = "$PWD;$env:Path"
```

Run `.sekura-js.exe` or `.sekura-sjv.exe` to see command help. The bundle includes the Microsoft Visual C++ runtime DLLs and third-party license texts under `licenses/`.

Install the VS Code extension with:

```powershell
code --install-extension .\sekura-js-0.1.0.vsix --force
```

The optional CVC5 cross-checker is not included.