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

[ Fonte: z3  ]

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.

Etiquetas: Desenvolvimento de software: Bibliotecas, Função: Biblioteca de desenvolvimento

Outros pacotes relacionados a libz3-dev

• dep: libz3-4 (= 4.13.3-1) [não ia64]

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

  dep: libz3-4 (= 4.8.12-3.1) [ia64]

Download de libz3-dev

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	104.0 kB	602.0 kB	[lista de arquivos]
amd64	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
arm64	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
armel	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
armhf	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
hppa (porte não oficial)	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
i386	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
ia64 (porte não oficial)	4.8.12-3.1	88.4 kB	532.0 kB	[lista de arquivos]
loong64 (porte não oficial)	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
m68k (porte não oficial)	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
mips64el	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
ppc64el	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
riscv64	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
s390x	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
sparc64 (porte não oficial)	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]
x32 (porte não oficial)	4.13.3-1	104.0 kB	602.0 kB	[lista de arquivos]