Package: py3-z3

Latest version availability by architecture Repology version information

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

Details for version 4.8.17-r0

Description Mathematical theorem prover (Python bindings)
License MIT
Repository user
Parent package z3
Maintainer A. Wilcox
Size 589.0 KiB
Updated Wed Jun 7 21:54:39 2023 UTC
Revision 66185194b969a0fdd077d1a29577a64cf11d0899
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.