Release v0.6.0

Changes in v0.6.0

• release - 0.6.0 (#129) (a89fa3c)

Installation

Library

Add this to your Cargo.toml:

[dependencies]
dotscope = "0.6.0"

Or install via cargo:

cargo add dotscope

CLI Tool

Download the pre-built binary for your platform from the assets below and extract it.

Platform	Asset
Linux (x86_64)	dotscope-v0.6.0-x86_64-unknown-linux-gnu.zip
macOS (Apple Silicon)	dotscope-v0.6.0-aarch64-apple-darwin.zip
macOS (Intel)	dotscope-v0.6.0-x86_64-apple-darwin.zip
Windows (x86_64)	dotscope-v0.6.0-x86_64-pc-windows-msvc.zip

Note: The CLI requires Z3 to be installed as a runtime dependency.
Install via: apt install libz3-dev (Linux), brew install z3 (macOS), or download from Z3 releases (Windows — the Windows zip already includes libz3.dll).