2

z3

Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır.

Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır

İnternet sitesi:

https://github.com/Z3Prover/z3

Özellikleri

Kategoriler

Eğitim ve Referans

Açık kaynak lisanslı Android için z3'a alternatifler