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.