z3-devel-4.4.1-7.fc25.x86_64.rpm


Advertisement

Description

z3-devel - Header files for build applications that use z3

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: z3-devel
Package version: 4.4.1
Package release: 7.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 421.28 KB
Download size: 76.77 KB
Official Mirror: dl.fedoraproject.org
Header files for build applications that use z3.

Provides

  • z3-devel = 4.4.1-7.fc25
  • z3-devel(x86-64) = 4.4.1-7.fc25

    Download

    Install Howto

    Install the z3-devel rpm package:

    # dnf install z3-devel

    Files

    • /usr/include/z3/z3++.h
    • /usr/include/z3/z3.h
    • /usr/include/z3/z3_algebraic.h
    • /usr/include/z3/z3_api.h
    • /usr/include/z3/z3_fpa.h
    • /usr/include/z3/z3_interp.h
    • /usr/include/z3/z3_macros.h
    • /usr/include/z3/z3_polynomial.h
    • /usr/include/z3/z3_rcf.h
    • /usr/include/z3/z3_v1.h
    • /usr/lib64/libz3.so

    Changelog

    Advertisement
    Advertisement