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
_______________________________________________ macports-dev mailing list [email protected] https://lists.macosforge.org/mailman/listinfo/macports-dev
