all options
[  buster  ]
[ Source: z3  ]

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

Links for python-z3

Screenshot

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download python-z3

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 65.5 kB541.0 kB [list of files]
arm64 65.5 kB541.0 kB [list of files]
armhf 65.5 kB541.0 kB [list of files]
i386 65.4 kB541.0 kB [list of files]