Package z3: Information

    Source package: z3
    Version: 4.14.1-alt1
    Latest version according to Repology
    Build time:  Mar 11, 2025, 08:32 PM in the task #377668
    Category: Sciences/Mathematics
    Report package bug
    Gear: https://git.altlinux.org/gears/z/z3.git?a=tree;hb=90ba0339d67fe6…
    Home page: https://github.com/Z3Prover/z3
    License: MIT
    Summary: High-performance theorem prover (SMT solver)
    Description: 
    Z3 is a high-performance theorem prover being developed at Microsoft
Research.
    List of RPM packages built from this SRPM:
    libz3 (x86_64, i586, aarch64)
    libz3-debuginfo (x86_64, i586, aarch64)
    libz3-devel (x86_64, i586, aarch64)
    libz3-devel-docs (x86_64, i586, aarch64)
    python3-module-z3 (noarch)
    z3 (x86_64, i586, aarch64)
    z3-debuginfo (x86_64, i586, aarch64)
    Maintainer: Grigory Ustinov
    List of contributors:
    Grigory Ustinov
    Vitaly Chikunov
    Aleksei Nikiforov
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev
    ACL:
    Anton Farygin
    @everybody
      1. cmake
      2. doxygen
      3. gcc-c++
      4. graphviz
      5. libgmp-devel
      6. libgmpxx-devel
      7. python3(pkg_resources)
      8. python3(setuptools)
      9. python3-devel
      10. rpm-build-python3

    Last changed

    March 11, 2025 Grigory Ustinov 4.14.1-alt1
    - Automatically updated to 4.14.1.
    Feb. 19, 2025 Grigory Ustinov 4.14.0-alt1
    - Automatically updated to 4.14.0.
    Dec. 23, 2024 Grigory Ustinov 4.13.4-alt1
    - Automatically updated to 4.13.4.
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v25.2.1
    Back to top