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

Package: libz3-java (4.8.10-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 155.6 kB183.0 kB [list of files]
arm64 155.6 kB183.0 kB [list of files]
armel 155.6 kB183.0 kB [list of files]
armhf 155.6 kB183.0 kB [list of files]
i386 155.6 kB183.0 kB [list of files]
mips64el 155.6 kB183.0 kB [list of files]
mipsel 155.6 kB183.0 kB [list of files]
ppc64el 155.6 kB183.0 kB [list of files]
s390x 155.6 kB183.0 kB [list of files]