Установите Z3 в Windows

Question

Я загрузил файл Z3 4.3.0 для Windows (64 бита), который находится на сайте: http://z3.codeplex.com/releases.

Когда я пытаюсь запустить файл z3.exe, который находится в папке bin. Запрос появляется и исчезает сразу. Мне нужно было знать, как запустить файл, написанный в файлах с z3 по z3.exe.

Как я могу это сделать? Или как лучше запустить z3 через Java?

Answer 1

z3.exe это инструмент командной строки Выполнить файл SMT-LIB 2.0 с именем file.smt2, вы должны выполнить следующую команду в командной строке.

 z3 file.smt2

Если каталог, содержащий z3.exe не в вашем PATH переменная окружения, вам нужно будет включить каталог в команду выше.

Кстати, Z3 не имеет графического интерфейса пользователя или среды. По сути, это библиотека для автоматизированных рассуждений. z3.exe это простой исполняемый файл, созданный с использованием этой библиотеки, который позволяет нам выполнять команды, хранящиеся в файле.

Вы также можете играть с Z3, используя веб-интерфейс, доступный на rise4fun. В rise4fun у нас есть внешний интерфейс SMT-LIB и основанный на Python. У них обоих есть интерактивные уроки.

Вот несколько полезных ресурсов для изучения SMT:

• Z3 учебник
• Учебник по SMT-LIB
• Статья с описанием приложений SMT
• Тесты SMT-Lib
• Stackru: вы можете искать связанные с Z3 вопросы, включая [z3] в поле поиска.

Z3 имеет API для нескольких языков программирования: C, C++, .Net, Python и OCaml. В следующем выпуске мы также предоставим поддержку Java. Вы уже можете играть с Java, используя одну из ночных сборок. Перейдите сюда для получения дополнительной информации о ночных сборках Z3. Ночные сборки содержат пример приложения Java с использованием API Z3.