Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates several decision procedures: Linear real and integer arithmetic, fixed-size bit vectors, uninterpreted functions, extensional arrays, quantifiers and model generation.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 4.12.2-bp156.1.6 info | GA Release | 2024-05-13 | 15 SP6 |
|
|
| 4.12.1-bp155.1.6 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 4.8.13-bp154.1.30 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 4.8.7+git.20200407-bp153.1.13 info | GA Release | 2021-03-06 | 15 SP3 |
|
|
| 4.8.7+git.20200407-bp152.1.3 info | GA Release | 2020-04-17 | 15 SP2 |
|
|
| 4.6.0+git.20180112-bp151.3.1 info | GA Release | 2019-07-17 | 15 SP1 |
|
|
| 4.6.0+git.20180112-bp151.2.12 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
| 4.6.0+git.20180112-bp150.2.5 info | GA Release | 2018-07-30 | 15 |
|
|
| 4.6.0+git.20180112-bp150.2.4 info | GA Release | 2018-07-30 | 15 |
|
|
| 4.5.0+git.20170523-2.1 info | openSUSE-2017-745 | 2017-06-28 | 12 SP2-SP5 |
|
|