Versions Packages Information History Related Badges Report

Information for z3

Versions

  • 4.8.9.r232.gfae948130
  • 4.8.10.20210121
  • 4.8.10 (15)
  • 4.8.9 (9)
  • 4.8.8 (8)
  • 4.8.7 (6)
  • 4.8.6
  • 4.8.5 (3)
  • 4.8.4 (2)
  • 4.8.3
  • 4.7.1 (2)
  • 4.6.0 (2)
  • 4.5.0 (5)
  • 4.4.1 (2)
  • 4.4.0 (2)
  • 4.3.2

Package names

  • Z3 Theorem Prover (2)
  • academic/z3
  • math/z3 (3)
  • mingw-w64-i686-z3
  • mingw-w64-x86_64-z3
  • py3-z3 (2)
  • python-z3
  • sci-mathematics/z3
  • z3 (23)
  • z3-bin
  • z3-dbg
  • z3-dbginfo
  • z3-dev (3)
  • z3-devel
  • z3-git
  • z3-ocaml

Repositories

Categories

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

Licenses

  • MIT (16)
  • MIT license

Summaries

  • A high-performance theorem prover and SMT solver
  • A theorem prover from Microsoft Research
  • An automatic high-performance theorem prover
  • An efficient theorem prover
  • Debug symbols for z3
  • Development files for z3
  • High-performance theorem prover (3)
  • Mathematical theorem prover
  • Mathematical theorem prover (Python bindings)
  • Mathematical theorem prover (debug symbols)
  • Mathematical theorem prover (development files)
  • Python bindings for z3
  • Satisfiability Modulo Theories (SMT) solver
  • The Z3 Theorem Prover (3)
  • The Z3 Theorem Prover (development files)
  • The Z3 Theorem Prover.
  • The Z3 theorem prover / SMT solver
  • Theorem prover
  • 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 high-performance theorem prover being developed at Microsoft Research.
  • Z3 is a theorem prover from Microsoft Research
  • 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

Maintainers

All package recipes

Downloads

Patches

Build logs