Pacote: libz3-4 (4.8.12-3.1)

[ Fonte: z3  ]

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

• dep: libc6 (>= 2.34)

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

• dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]

  Biblioteca de suporte GCC

  dep: libgcc-s1 (>= 3.4) [amd64, mips64el]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [mipsel]

  dep: libgcc-s1 (>= 7) [i386]

• dep: libstdc++6 (>= 12)

  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
amd64	7,047.0 kB	22,767.0 kB	[lista de arquivos]
arm64	6,134.4 kB	21,607.0 kB	[lista de arquivos]
armel	5,665.5 kB	20,168.0 kB	[lista de arquivos]
armhf	5,918.7 kB	13,752.0 kB	[lista de arquivos]
i386	7,669.0 kB	24,684.0 kB	[lista de arquivos]
mips64el	5,961.5 kB	29,617.0 kB	[lista de arquivos]
mipsel	5,965.5 kB	27,951.0 kB	[lista de arquivos]
ppc64el	7,172.6 kB	29,351.0 kB	[lista de arquivos]
s390x	6,207.0 kB	24,279.0 kB	[lista de arquivos]