Package - libz3-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/z/z3/libz3-dev_4.13.3-1_amd64.deb (Size: 104.0KiB)| Property | Value |
|---|---|
| Package | libz3-dev |
| Source | z3 |
| Version | 4.13.3-1 |
| Installed-Size | 602 |
| Maintainer | LLVM Packaging Team |
| Architecture | amd64 |
| Depends | libz3-4 (= 4.13.3-1) |
| Description | theorem prover from Microsoft Research - development files |
| Description-md5 | cc721e9da8dbcbc4af793aa1adc1595d |
| Multi-Arch | same |
| Homepage | https://github.com/Z3Prover/z3 |
| Tag | devel::library, role::devel-lib |
| Section | libdevel |
| Priority | optional |
| Filename | pool/main/z/z3/libz3-dev_4.13.3-1_amd64.deb |
| Size | 106528 |
| MD5sum | 2a44f34c370b5e3d622b4a06d96d3fb2 |
| SHA256 | df63eae0c0b2a4d59577b2f36fe2521cb11aa2955e6fb242441603e5ae1cf757 |
Files in package
- /usr/include/z3++.h
- /usr/include/z3.h
- /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_macros.h
- /usr/include/z3_optimization.h
- /usr/include/z3_polynomial.h
- /usr/include/z3_rcf.h
- /usr/include/z3_spacer.h
- /usr/include/z3_v1.h
- /usr/include/z3_version.h
- /usr/lib/x86_64-linux-gnu/libz3.so
- /usr/lib/x86_64-linux-gnu/pkgconfig/z3.pc
- /usr/share/doc/libz3-dev/changelog.Debian.gz
- /usr/share/doc/libz3-dev/changelog.gz
- /usr/share/doc/libz3-dev/copyright