Java Version required to be checked.

[Russell Jones]

Hi Abdulrahman,

Do you mean this Z3? https://github.com/Z3Prover/z3 It appears to be MIT 
licensed.

Russell

On 29/03/16 00:22, Abdulrahman Alshammari wrote:
>
> I can do a port of this tool but I am wondering about the copyright 
> issue. I will search on this situation.
>
> Thanks Ryan