z3

z3

Z3 es un probador de teoremas de Microsoft Research.
Z3 es un probador de teoremas de Microsoft Research
z3

Alternativas a z3 para Linux con licencia de código abierto