Package: python-z3 (4.4.1-1~deb10u1)

[ Source: z3  ]

dimostratore di teoremi di Microsoft Research - collegamenti Python

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.

Other Packages Related to python-z3

• dep: libz3-dev (= 4.4.1-1~deb10u1)

  dimostratore di teoremi di Microsoft Research - file di sviluppo

• dep: python

  linguaggio interattivo di alto livello orientato agli oggetti (versione Python 2)

Download python-z3

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	65.4 kB	541.0 kB	[list of files]