Package: libz3-dev (4.8.12-3.1 and others)

Links for libz3-dev

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

Læresætningsbeviser fra Microsoft Research - udviklingsfiler

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 kan bruges til at starte Z3 via dets C++-API.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libz3-dev

depends

recommends

suggests

enhances

dep: libz3-4 (= 4.8.12-3.1+b2)

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

Download libz3-dev

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
s390x	4.8.12-3.1+b2	88.7 kB	533.0 kB	[list of files]