» Ubuntu » Paket » stonking » python » python3-z3
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Källkod: z3  ]

Paket: python3-z3 (4.13.3-1.1) [universe]

Länkar för python3-z3

Screenshot

Ubunturesurser:

Hämta källkodspaketet z3:

Ansvarig:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

Liknande paket:

theorem prover from Microsoft Research - Python 3 bindings

Andra paket besläktade med python3-z3

  • beror
  • rekommenderar
  • föreslår
  • enhances
  • dep: libz3-dev (= 4.13.3-1.1)
    theorem prover from Microsoft Research - development files
  • dep: python3
    interactive high-level object-oriented language (default python3 version)

Hämta python3-z3

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 82,9 kbyte637,0 kbyte [filförteckning]
arm64 82,9 kbyte637,0 kbyte [filförteckning]
armhf 82,9 kbyte637,0 kbyte [filförteckning]
i386 82,9 kbyte637,0 kbyte [filförteckning]
ppc64el 82,9 kbyte637,0 kbyte [filförteckning]
riscv64 82,9 kbyte637,0 kbyte [filförteckning]
s390x 82,9 kbyte637,0 kbyte [filförteckning]