Z3-2.6

Microsoft Research

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

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

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

Операционная система:Windows XP/7/10/11

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

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

Описание

Cкриншот

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

ПО относится к категории Образование. Это бесплатное программное обеспечение принадлежит Microsoft Research.

Рекомендуется проверять загруженные файлы любым бесплатным антивирусом, поскольку мы не можем гарантировать их безопасность. Самые популярные версии среди пользователей Z3-2.6 2.6 и 1.0. Z3-2.6 устанавливается на Windows XP/7/10/11, 32-бит версию.

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

Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC.

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

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

полезно

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

полезно

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

полезно

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