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, которые часто используются вместе с Z3-2.12.