Z3 привязки Java?

1

является ли информация на этой странице актуальной?

http://leodemoura.github.io/blog/2012/12/10/z3-for-java.html

Я вижу, что как rc, так и stable имеют папку examples/java с фактическим примером,

означает ли это, что привязки java теперь являются частью ветки stable/rc?

Как включить и создать их?

С Уважением,

Теги:
z3

1 ответ

1

Да, привязки Java теперь (начиная с версии 4.3.2) части Z3. Для документации вы можете посмотреть комментарии в исходном коде Java. Однако по-прежнему существует проблема с утечками памяти (см. Эту проблему с кодом). Инструкции по сборке в блоге Mouras немного устарели, т.е. Вам не нужно передавать "--java" в mk_make, создание привязок java является новым значением по умолчанию (но есть "--nojava "вариант кажется). Так что у тебя есть:

  1. скрипты python/mk_make.py
  2. cd build
  3. сделать все

Я должен добавить, что вы можете загружать пакеты предварительной сборки на странице загрузки кода Z3 (см. Панель справа и переключиться на "запланированную", если вы не являетесь пользователем Windows или хотите иметь последнюю нестабильную ветку), которые содержат привязки Java.

  • 0
    Спасибо за ответ,

Ещё вопросы

Сообщество Overcoder
Наверх
Меню