piwheels

oxiz

Python bindings for OxiZ SMT Solver

Installation

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

pip3 install oxiz

Dependencies

• None

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
0.1.3	2026-02-06
oxiz-0.1.3-cp311-cp311-linux_armv6l.whl (647 KB) oxiz-0.1.3-cp311-cp311-linux_armv7l.whl (647 KB) oxiz-0.1.3-cp313-cp313-linux_armv6l.whl (644 KB) oxiz-0.1.3-cp313-cp313-linux_armv7l.whl (644 KB) oxiz-0.1.3-cp39-cp39-linux_armv6l.whl (646 KB) oxiz-0.1.3-cp39-cp39-linux_armv7l.whl (646 KB)
0.1.2	2026-01-21
oxiz-0.1.2-cp311-cp311-linux_armv6l.whl (520 KB) oxiz-0.1.2-cp311-cp311-linux_armv7l.whl (520 KB) oxiz-0.1.2-cp313-cp313-linux_armv6l.whl (519 KB) oxiz-0.1.2-cp313-cp313-linux_armv7l.whl (519 KB)
0.1.0	2026-01-21
oxiz-0.1.0-cp311-cp311-linux_armv6l.whl (515 KB) oxiz-0.1.0-cp311-cp311-linux_armv7l.whl (515 KB) oxiz-0.1.0-cp39-cp39-linux_armv6l.whl (524 KB) oxiz-0.1.0-cp39-cp39-linux_armv7l.whl (524 KB)

Issues with this package?

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