Releases · ViRb3/z3-wasm · GitHub

This repository was archived by the owner on Aug 6, 2024. It is now read-only.

24 Apr 11:27

v1.0.1 Latest

Latest

Bump z3 to 4.8.16

Assets 3

24 Apr 01:02

v1.0.0

Initial

Assets 3