Pacote: libz3-4 (4.13.3-1 e outros)

[ 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: libatomic1 (>= 4.8) [riscv64]

  biblioteca de apoio que provê funções embutidas __atomic

• dep: libc6 (>= 2.38) [não alpha, ia64, loong64]

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

  dep: libc6 (>= 2.40) [loong64]

• dep: libc6.1 (>= 2.36) [ia64]

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

  dep: libc6.1 (>= 2.38) [alpha]

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

  Biblioteca de suporte GCC

  dep: libgcc-s1 (>= 3.4) [alpha, amd64, mips64el, ppc64, riscv64, sparc64, x32]

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

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

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

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  Biblioteca de suporte GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  Biblioteca de suporte GCC

• dep: libstdc++6 (>= 12) [ia64]

  Biblioteca C++ padrão da GNU v3

  dep: libstdc++6 (>= 13.1) [m68k]

  dep: libstdc++6 (>= 14) [não ia64, m68k]

• dep: libunwind8 [ia64]

  biblioteca para determinar a cadeia de chamadas de um programa - execução

Download de libz3-4

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
alpha (porte não oficial)	4.13.3-1	7,541.3 kB	31,977.0 kB	[lista de arquivos]
amd64	4.13.3-1	8,359.4 kB	27,142.0 kB	[lista de arquivos]
arm64	4.13.3-1	7,330.9 kB	26,286.0 kB	[lista de arquivos]
armel	4.13.3-1	6,804.5 kB	24,451.0 kB	[lista de arquivos]
armhf	4.13.3-1	7,081.7 kB	16,727.0 kB	[lista de arquivos]
hppa (porte não oficial)	4.13.3-1	7,946.0 kB	29,956.0 kB	[lista de arquivos]
i386	4.13.3-1	8,994.7 kB	28,868.0 kB	[lista de arquivos]
ia64 (porte não oficial)	4.8.12-3.1	8,603.2 kB	51,763.0 kB	[lista de arquivos]
loong64 (porte não oficial)	4.13.3-1	7,804.6 kB	27,790.0 kB	[lista de arquivos]
m68k (porte não oficial)	4.13.3-1	7,188.7 kB	24,595.0 kB	[lista de arquivos]
mips64el	4.13.3-1	7,566.9 kB	37,392.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	4.13.3-1	8,224.2 kB	36,334.0 kB	[lista de arquivos]
ppc64el	4.13.3-1	8,359.4 kB	33,518.0 kB	[lista de arquivos]
riscv64	4.13.3-1	8,314.9 kB	21,682.0 kB	[lista de arquivos]
s390x	4.13.3-1	8,881.7 kB	30,370.0 kB	[lista de arquivos]
sparc64 (porte não oficial)	4.13.3-1	6,411.1 kB	26,700.0 kB	[lista de arquivos]
x32 (porte não oficial)	4.13.3-1	8,472.2 kB	26,232.0 kB	[lista de arquivos]