iz3
iz3 is a z3+js kernel for the Jupyter notebook
Activity
- Latest release
- 1y ago
- Total releases
- 1
- Cadence
- —
- Last 12 months
- 0
Details
- License
- BSD-3-Clause
- First release
- Feb 03, 2025
Releases
| Version | Released | |
|---|---|---|
5.2.1
initial
|