является ли информация на этой странице актуальной?
http://leodemoura.github.io/blog/2012/12/10/z3-for-java.html
Я вижу, что как rc, так и stable имеют папку examples/java с фактическим примером,
означает ли это, что привязки java теперь являются частью ветки stable/rc?
Как включить и создать их?
С Уважением,
Да, привязки Java теперь (начиная с версии 4.3.2) части Z3. Для документации вы можете посмотреть комментарии в исходном коде Java. Однако по-прежнему существует проблема с утечками памяти (см. Эту проблему с кодом). Инструкции по сборке в блоге Mouras немного устарели, т.е. Вам не нужно передавать "--java" в mk_make, создание привязок java является новым значением по умолчанию (но есть "--nojava "вариант кажется). Так что у тебя есть:
Я должен добавить, что вы можете загружать пакеты предварительной сборки на странице загрузки кода Z3 (см. Панель справа и переключиться на "запланированную", если вы не являетесь пользователем Windows или хотите иметь последнюю нестабильную ветку), которые содержат привязки Java.