z3

z3

Z3 é um provador de teoremas da Microsoft Research.
Z3 é um provador de teoremas da Microsoft Research
z3

Local na rede Internet:

Alternativas ao z3 para BSD com licença comercial