Pacote: libz3-4 (4.13.3-1)

Links para libz3-4

Recursos de Debian:

Baixe o pacote-fonte z3:

Mantenedores(as):

Fontes externas:

Pagina principal [github.com]

Pacotes similares:

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.

Etiquetas: Função: Biblioteca compartilhada

Outros pacotes relacionados a libz3-4

depende

recomenda

sugere

melhora

dep: libc6 (>= 2.38)

GNU Biblioteca C: Bibliotecas compartilhadas
também um pacote virtual fornecido por libc6-udeb
dep: libgcc-s1 (>= 7)

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

Biblioteca C++ padrão da GNU v3

Download de libz3-4

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
i386	8,994.7 kB	28,868.0 kB	[lista de arquivos]