Z3 java bindings?

Question

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

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

Я вижу, что оба гса и стабильный есть папка примеров/Java с фактическим, например,

это значит, что ява привязки в настоящее время являются частью стабильной/RC отрасли?

Как включить и построить их?

Привет,

Answer 1

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

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

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