Package: libz3-dev Status: install ok installed Priority: optional Section: libdevel Installed-Size: 532 Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> [Debian Bug Report] Architecture: amd64 Multi-Arch: same Source: z3 Version: 4.8.12-3.1 Depends: libz3-4 (= 4.8.12-3.1) Description: theorem prover from Microsoft Research - development files Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. This package can be used to invoke Z3 via its C++ API. Homepage: https://github.com/Z3Prover/z3 Files owned by package libz3-dev: /usr /usr/include /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 /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/libz3.so /usr/lib/x86_64-linux-gnu/pkgconfig /usr/lib/x86_64-linux-gnu/pkgconfig/z3.pc /usr/share /usr/share/doc /usr/share/doc/libz3-dev /usr/share/doc/libz3-dev/changelog.Debian.gz /usr/share/doc/libz3-dev/changelog.gz /usr/share/doc/libz3-dev/copyright