z3

z3

Z3 är en teorem-prover från Microsoft Research.
Z3 är en teorem-prover från Microsoft Research
z3

Alternativ till z3 för iPad med gratis licens