Package: libz3-4 (4.8.12-3.1) [debports]

Links for libz3-4

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

provador de teoremas da Microsoft Research - bibliotecas de execução

Z3 é um provador de teoremas estado-da-arte da Microsoft Research. Pode ser usado para checar a satisfatibilidade de fórmulas lógicas sobre uma ou mais teorias. Z3 oferece uma correspondência convincente para análise de software e ferramentas de verificação, uma vez que vários construtos de software comuns são mapeados diretamente em teorias apoiadas.

Este pacote contém bibliotecas de execução. Você não deve instalá-lo manualmente.

Other Packages Related to libz3-4

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
dep: libgcc-s4 (>= 4.1.1)

Biblioteca de suporte GCC
dep: libstdc++6 (>= 12)

Biblioteca C++ padrão da GNU v3

Download libz3-4

Download for all available architectures
Architecture	Package Size	Installed Size	Files
hppa (unofficial port)	6,917.9 kB	26,665.0 kB	[list of files]