Package Detail

sci-mathematics /

z3 4.8.10 - 1

High-performance theorem prover

https://github.com/Z3Prover/z3

Architecture:

x86_64

Groups:

sci-mathematics

Disribution:

avh030

License:

MIT

Provides:

libz3 libz3.so

Conflicts:

Maintainers:

Qurban Ullah

Contributors:

Qurban Ullah

Installed Size:

34 MB

Date reated:

2022-06-18 02:39 PKT

External Resources

Source Files

Dependancies (2)

gcc-libs
gmp

Optional Dependancies (0)

Make Dependancies (5)

Check Dependancies (0)

Required By (0)

Optional Required By (0)

Make Required By (0)

Check Required By (0)

Files (24)

/usr/lib/cmake/z3/Z3Targets.cmake
/usr/lib/cmake/z3/Z3Targets-release.cmake
/usr/lib/cmake/z3/Z3Config.cmake
/usr/lib/cmake/z3/Z3ConfigVersion.cmake
/usr/lib/pkgconfig/z3.pc
/usr/lib/libz3.so.4.8.10.0
/usr/lib/libz3.so.4.8
/usr/lib/libz3.so
/usr/include/z3_algebraic.h
/usr/include/z3_api.h
/usr/include/z3_ast_containers.h
/usr/include/z3_fixedpoint.h
/usr/include/z3_fpa.h
/usr/include/z3.h
/usr/include/z3++.h
/usr/include/z3_macros.h
/usr/include/z3_optimization.h
/usr/include/z3_polynomial.h
/usr/include/z3_rcf.h
/usr/include/z3_v1.h
/usr/include/z3_spacer.h
/usr/include/z3_version.h
/usr/bin/z3
/usr/share/avouch/pkginfo/z3.xml