piwheels

micro-svm

Simple symbolic Virtual Machine in Python and Z3

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install micro-svm

Dependencies

• z3-solver

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
1.0.6	2026-03-06
micro_svm-1.0.6-py3-none-any.whl (58 KB)
1.0.5	2026-02-27
micro_svm-1.0.5-py3-none-any.whl (58 KB)
1.0.4	2026-02-24
micro_svm-1.0.4-py3-none-any.whl (58 KB)
1.0.3	2026-02-17
micro_svm-1.0.3-py3-none-any.whl (56 KB)
1.0.2	2026-02-16
micro_svm-1.0.2-py3-none-any.whl (55 KB)
1.0.1	2026-02-16
micro_svm-1.0.1-py3-none-any.whl (55 KB)
1.0.0	2026-02-15
micro_svm-1.0.0-py3-none-any.whl (55 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue