z3
Version 4.15.1-1.1 from cachyos-extra-znver4 (x86_64_v4)
- Description
- High-performance theorem prover
- Homepage
- https://github.com/Z3Prover/z3
- Source Files
- View Source Files
- Split Packages
- License(s)
- MIT
- Build Date
- Packager
- CachyOS <admin@cachyos.org>
- Package Size
- 9.79 MB
- Installed Size
- 38.91 MB
- Download Mirror
- https://cdn77.cachyos.org/repo/x86_64_v4/cachyos-extra-znver4/z3-4.15.1-1.1-x86_64_v4.pkg.tar.zst
- SHA256 Sum
- d067ee36c44892fd035d7e395923af02d16b22e7600d316b882ed96f413117e2
- Optional Deps
- N/A
- Provides
- Conflicts With
- N/A
- Replaces
- N/A
- Package Files
- usr/usr/bin/usr/bin/z3usr/include/usr/include/z3++.husr/include/z3.husr/include/z3_algebraic.husr/include/z3_api.husr/include/z3_ast_containers.husr/include/z3_fixedpoint.husr/include/z3_fpa.husr/include/z3_macros.husr/include/z3_optimization.husr/include/z3_polynomial.husr/include/z3_rcf.husr/include/z3_spacer.husr/include/z3_v1.husr/include/z3_version.husr/lib/usr/lib/cmake/usr/lib/cmake/z3/usr/lib/cmake/z3/Z3Config.cmakeusr/lib/cmake/z3/Z3ConfigVersion.cmakeusr/lib/cmake/z3/Z3Targets-relwithdebinfo.cmakeusr/lib/cmake/z3/Z3Targets.cmakeusr/lib/libz3.sousr/lib/libz3.so.4.15usr/lib/libz3.so.4.15.1.0usr/lib/pkgconfig/usr/lib/pkgconfig/z3.pcusr/share/usr/share/licenses/usr/share/licenses/z3/usr/share/licenses/z3/LICENSE.txt