Package: z3 (4.8.12-3.1 and others) [debports]

[ Source:  ]

dimostratore di teoremi di Microsoft Research

Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Può essere usato per verificare la soddisfacibilità di formule logiche su una o più teorie. Z3 offre un corrispettivo convincente per strumenti di verifica e analisi del software, dal momento che molti costrutti software comuni mappano direttamente in teorie gestite.

Il formato di input per Z3 è un'estensione di quello definito dallo standard SMT-LIB 2.0.

Other Packages Related to z3

• dep: libc6.1 (>= 2.34)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

• dep: libgcc-s1 (>= 3.4)

  libreria di supporto a GCC

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

  libreria GNU Standard C++, versione 3

Download z3

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	4.8.12-3.1+b2	6,365.1 kB	27,741.0 kB	[list of files]