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

Package: python3-z3 (4.8.10-1)

Links for python3-z3

Screenshot

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download python3-z3

Download for all available architectures
Architecture Package Size Installed Size Files
armhf 76.3 kB591.0 kB [list of files]