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

Package: libz3-java (4.8.12-3.1)

Links for libz3-java

Screenshot

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Similar packages:

dimostratore di teoremi di Microsoft Research - collegamenti Java

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 Java.

Other Packages Related to libz3-java

  • depends
  • recommends
  • suggests
  • enhances

Download libz3-java

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 159.3 kB186.0 kB [list of files]
arm64 159.3 kB186.0 kB [list of files]
armel 159.3 kB186.0 kB [list of files]
armhf 159.3 kB186.0 kB [list of files]
i386 159.3 kB186.0 kB [list of files]
mips64el 159.3 kB186.0 kB [list of files]
mipsel 159.3 kB186.0 kB [list of files]
ppc64el 159.3 kB186.0 kB [list of files]
s390x 159.3 kB186.0 kB [list of files]