Package: python3-z3 (4.8.12-3.1) [debports]

[ Source:  ]

dimostratore di teoremi di Microsoft Research - collegamenti Python 3

Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Per una descrizione dettagliata vedere il pacchetto z3.

Questo pacchetto può essere utilizzato per invocare Z3 attraverso la sua API Python 3.

Other Packages Related to python3-z3

• dep: libz3-dev (= 4.8.12-3.1)

  dimostratore di teoremi di Microsoft Research - file di sviluppo

• dep: python3

  linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)

• dep: python3-pkg-resources

  rilevazione di pacchetti e accesso a risorse usando pkg_resources

Download python3-z3

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	76.5 kB	595.0 kB	[list of files]