Package: libz3-java (4.8.12-3.1)

[ Source: z3  ]

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

• dep: libz3-dev

  dimostratore di teoremi di Microsoft Research - file di sviluppo

• dep: libz3-jni (<< 4.8.12-3.1.1~)

  dimostratore di teoremi di Microsoft Research - libreria JNI

  dep: libz3-jni (>= 4.8.12-3.1)

Download libz3-java

Download for all available architectures

Architecture	Package Size	Installed Size	Files
mipsel	159.3 kB	186.0 kB	[list of files]