Java Version required to be checked.

Russell Jones russell.jones at
Tue Mar 29 02:08:35 PDT 2016

Hi Abdulrahman,

Do you mean this Z3? It appears to be MIT 


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

More information about the macports-dev mailing list