Conan Center has stopped receiving updates for Conan 1.x packages. A new https://center2.conan.io Conan 2-only remote is now available. Read the blog post

z3/4.9.1

The Z3 Theorem Prover
proversatisfiabilitysmtsolvertheoremz3 unmaintained
4.15.4
2026-01-23
MIT
9783fbda3fd4ed1b439949eb12225a3e
4.14.1
2026-01-23
MIT
d62725e3096a409d7a4b70362ca52a4d
4.13.0
2026-01-23
MIT
bebf645ac19da08365bc7a3f648a21c1
4.12.4
2025-04-09
MIT
6d186067bb53734419e7c526af0cbba6
4.12.2
2025-04-09
MIT
b2f1a85c30aefa1e2bd1a076dcd32efc
4.12.1
2025-04-09
MIT
10ba721318210b0004a466b705242956
4.11.2
2025-04-09
MIT
ea6121f95c8409e81253a7b88f9f35fd
4.10.2
2025-04-09
MIT
2004c3573f02cda40f2a35bcff86199d
4.9.1
2025-04-09
MIT
2aa0f814fef232a210bc4845aa61688e
4.8.8
2022-08-31
bbdeb8ab816227c5fd651ddc0df36ee8