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 todas las plataformas con licencia gratuita.