Z3-2.12

fev. 29, 2024
Avaliação:
Categoria:
EducaçãoFerramentas de Ciência
Desenvolvedor:
Microsoft Research
Licença:
Gratuito
Total de downloads:
3
Latest version:
2.1

Descrição

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.

Como limpar registro
destaque