Package Info

z3


Theorem prover from Microsoft Research


Productivity/Scientific/Other

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.


License: MIT
URL: https://github.com/Z3Prover/z3/wiki

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
4.5.0+git.20170523-2.1 info openSUSE-2017-745 2017-06-28 12 SP2-SP5
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • libz3-4_5
  • python-z3
  • z3
  • z3-devel
4.6.0+git.20180112-bp150.2.4 info GA Release 2018-07-30 15
  • ppc64le
  • s390x
  • x86-64
  • libz3-4_6
  • python3-z3
  • z3
  • z3-devel
4.6.0+git.20180112-bp150.2.5 info GA Release 2018-07-30 15
  • AArch64
  • libz3-4_6
  • python3-z3
  • z3
  • z3-devel
4.6.0+git.20180112-bp151.2.12 info GA Release 2019-05-18 15 SP1
  • ppc64le
  • x86-64
  • libz3-4_6
  • python3-z3
  • z3
  • z3-devel
4.6.0+git.20180112-bp151.3.1 info GA Release 2019-07-17 15 SP1
  • AArch64
  • s390x
  • libz3-4_6
  • python3-z3
  • z3
  • z3-devel
4.8.7+git.20200407-bp152.1.3 info GA Release 2020-04-17 15 SP2
  • x86-64
  • libz3-4_8
  • python3-z3
  • z3
  • z3-devel
4.8.7+git.20200407-bp153.1.13 info GA Release 2021-03-06 15 SP3
  • x86-64
  • libz3-4_8
  • python3-z3
  • z3
  • z3-devel