2

z3

Z3 é um provador de teoremas da Microsoft Research.

Z3 é um provador de teoremas da Microsoft Research

Local na rede Internet:

https://github.com/Z3Prover/z3

Recursos

Categorias

Educação e Referência

Alternativas ao z3 para Linux com licença de código aberto