Versions Packages Information History Related Badges Report

Information for z3

Versions

  • 4.8.9.r232.gfae948130
  • 4.8.17.20220505
  • 4.8.17 (14)
  • 4.8.16 (4)
  • 4.8.15 (6)
  • 4.8.14 (2)
  • 4.8.13 (4)
  • 4.8.12 (5)
  • 4.8.11
  • 4.8.10 (4)
  • 4.8.9 (4)
  • 4.8.8 (6)
  • 4.8.7 (4)
  • 4.8.6
  • 4.8.5 (3)
  • 4.8.4 (2)
  • 4.8.3
  • 4.7.1 (3)
  • 4.6.0 (2)
  • 4.5.0 (4)
  • 4.4.1 (2)
  • 4.4.0 (2)

Package names

  • mingw-w64-z3 (2)
  • z3 (33)
  • z3-git

Repositories

Categories

  • Algorithm
  • Math
  • Productivity/Scientific/Other
  • Sciences/Mathematics (2)
  • System/Libraries
  • Unspecified (2)
  • academic
  • debug
  • development
  • library
  • main
  • math (5)
  • misc
  • programming.devel
  • programming.java
  • programming.library
  • programming.python
  • python310Packages
  • python38Packages
  • python39Packages
  • sci-mathematics
  • science
  • universe/misc

Licenses

  • MIT (18)
  • MIT license

Summaries

  • A high-performance theorem prover and SMT solver
  • A theorem prover from Microsoft Research
  • An efficient theorem prover
  • Debug symbols for z3
  • Development files for z3
  • High-performance theorem prover (3)
  • High-performance theorem prover (mingw-w64)
  • Java bindings to z3
  • Mathematical theorem prover
  • Mathematical theorem prover (Python bindings)
  • Mathematical theorem prover (debug symbols)
  • Mathematical theorem prover (development files)
  • Python bindings for z3
  • Python bindings to z3
  • Satisfiability Modulo Theories (SMT) solver (2)
  • The Z3 Theorem Prover (3)
  • The Z3 Theorem Prover (development files)
  • The Z3 Theorem Prover.
  • The Z3 theorem prover / SMT solver
  • Theorem prover (2)
  • Theorem prover from Microsoft Research (2)
  • Theorem prover from Microsoft Research (development files)
  • Z3 Efficient Theorem Prover
  • Z3 Theorem Prover (3)
  • Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
  • Z3 is a theorem prover from Microsoft Research (2)
  • Z3 is a theorem prover from Microsoft Research. (2)
  • Z3 theorem prover
  • Z3 theorem prover and SMT solver (OCaml bindings)
  • Z3 theorem prover and SMT solver (command line + Python3 module)
  • software for solving satisfiability modulo theories

Maintainers

All package recipes

Downloads

Patches

Build logs