[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Source: z3 ]

Paketti: libz3-dev (4.8.12-3.1 ja muut)

Links for libz3-dev

Debian-palvelut:

Imuroi lähdekoodipaketti z3:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

theorem prover from Microsoft Research - development files

Tagit: Software Development: Kirjastot, Role: Development Library

Muut pakettiin libz3-dev liittyvät paketit

depends

recommends

suggests

enhances

dep: libz3-4 (= 4.8.12-3.1+b2)

theorem prover from Microsoft Research - runtime libraries

Imuroi libz3-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	4.8.12-3.1+b2	88.7 kt	533.0 kt	[tiedostoluettelo]