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.