z3

z3

Z3 je věta z Microsoft Research.
Z3 je věta z Microsoft Research
z3

Webová stránka:

Alternativy z3 pro všechny platformy s licencí open source