Paket: z3 (4.8.12-3.1) [debports]

z3 için bağlantılar

Debian Kaynakları:

Hata Raporları

Kaynak Paketini İndir:

Bulunamadı

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

theorem prover from Microsoft Research

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.

The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.

z3 ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libc6.1 (>= 2.36)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb
dep: libgcc-s1 (>= 4.2)

GCC support library
dep: libstdc++6 (>= 12)

GNU Standard C++ Library v3
dep: libunwind8

library to determine the call-chain of a program - runtime

z3 indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
ia64 (resmi olmayan port)	8.630,5 kB	51.893,0 kB	[dosya listesi]