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.

полезно

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

полезно

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

полезно

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