all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: z3  ]

Package: libz3-4 (4.8.12-3.1)

Links for libz3-4

Screenshot

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Similar packages:

dimostratore di teoremi di Microsoft Research - librerie runtime

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.

Questo pacchetto contiene le librerie runtime. Non dovrebbe essere necessario installarlo manualmente.

Other Packages Related to libz3-4

  • depends
  • recommends
  • suggests
  • enhances

Download libz3-4

Download for all available architectures
Architecture Package Size Installed Size Files
arm64 6,134.4 kB21,607.0 kB [list of files]