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
armhf 155.6 kB183.0 kB [list of files]