Package: py3-z3

Latest version availability by architecture Repology version information

aarch64 armv7 pmmx ppc ppc64 x86_64
✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0

Details for version 4.8.8-r0

Description Mathematical theorem prover (Python bindings)
License MIT
Repository user
Parent package z3
Maintainer A. Wilcox
Size 1.2 MiB
Updated Mon Oct 26 03:19:26 2020 UTC
Revision 7fffafdd3a49caacab7d1391cdf420c2bd4887a6
Source filesView git repository

Independent by design.

Adélie is an independent Linux distribution committed to integrity, privacy, and user freedom. Your donation might be tax-deductible.