Установка:
Для установки libz3-jni в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Доказательство теоремы из Microsoft Research - библиотека JNI
Для установки libz3-jni в Ubuntu / Linux Mint / Debian, введите в Терминал:
Доказательство теоремы из Microsoft Research - библиотека JNI