123
z3

z3

Z3 adalah prover teorem dari Microsoft Research.
Z3 adalah prover teorem dari Microsoft Research

Alternatif untuk z3 untuk Linux dengan lesen percuma