Package: libz3-4 (4.4.1-1~deb10u1)

[ Source: z3  ]

Læresætningsbeviser fra Microsoft Research - kørselstidsbiblioteker

Z3 er en moderne læresætningsbeviser fra Microsoft Research. Den kan bruges til at kontrollere opfyldelsen for logiske formler over en eller flere teorier. Z3 tilbyder et overbevisende match for programanalyse og verifikationsværktøjer da flere gængse programkonstruktioner oversættes direkte til understøttede teorier.

Denne pakke indeholder kørselstidsbiblioteker. Du bør ikke skulle installere den manuelt.

Tags: Role: Shared Library

Other Packages Related to libz3-4

• dep: libc6 (>= 2.14) [amd64]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.4) [armhf, i386]

• dep: libgcc1 (>= 1:3.0) [arm64]

  GCC støttebibliotek

  dep: libgcc1 (>= 1:3.4) [amd64]

  dep: libgcc1 (>= 1:3.5) [armhf]

  dep: libgcc1 (>= 1:7) [i386]

• dep: libgomp1 (>= 4.9)

  GCC OpenMP-understøttelsesbibliotek (GOMP)

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

  GNU Standard C++ bibliotek v3

Download libz3-4

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	5,128.0 kB	16,583.0 kB	[list of files]
arm64	4,454.2 kB	15,315.0 kB	[list of files]
armhf	4,226.1 kB	9,484.0 kB	[list of files]
i386	5,656.9 kB	17,992.0 kB	[list of files]