yscript Tools for VS Code

Setup

You need to install the Python bindings to Z3 yourself.

1. Create a virtual environment at the project root: python -m venv venv (the name "venv" is important!)
2. Activate the venv: source venv/bin/activate
3. Install Z3: pip install z3-solver

References

The elm-tooling projects are highly instructive.