Z3-2.12 2.1 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. A seguinte versão é a mais frequentemente baixada pelos usuários do programa: 2.1.
O programa fica na subcategoria Ferramentas de Ciência, que fica dentro de Educação. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. Z3-2.12 tem como desenvolvedor Microsoft Research.
Do desenvolvedor:
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.
Confira mais programas, tais como WcfStorm, COLLADAMaya ou LSL7Setup, que podem ser similares a Z3-2.12.