2

z3

Z3 е доказател на теоремата от Microsoft Research.

Z3 е доказател на теоремата от Microsoft Research

WebSite:

https://github.com/Z3Prover/z3

Характеристика

Категории

Образование и справка

Алтернативи на z3 за iPhone с безплатен лиценз