Package: 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
License MIT
Repository user
Maintainer A. Wilcox
Size 53.5 MiB
Updated Mon Oct 26 03:19:27 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.