Z3-2.12

Microsoft Research

Загрузить сейчас с сайта разработчика

Лицензия: Бесплатная

Количество загрузок:3

Последняя версия:2.1

Сообщить о неточности

Cкриншоты

Описание

Z3-2.12 2.1 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы.

Версия 2.1 наиболее популярна среди пользователей. Эта бесплатная программа была разработана Microsoft Research.

Z3-2.12 принадлежит к категории Образование, а точнее к подкатегории Наука. Рекомендуется проверять загруженные файлы любым бесплатным антивирусом, поскольку мы не можем гарантировать их безопасность.

От разработчика:

Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme.
Features:
- Enable check_assumptions without enclosing push/pop. This resolves the limitation described in Limitations:
- Expose coefficients used in arithmetical proofs.

Мы предлагаем оценить другие программы, такие как Resident Evil 6 Benchmark или Water Bugs, которые часто используются вместе с Z3-2.12.

Скачать Z3-2.12 с сайта разработчика

полезно

Как почистить реестр

полезно

Как создавать векторную графику

полезно

Как использовать брандмауэр