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
Thank you so much for your support. I get the idea now.
> On Mar 28, 2016, at 9:08 PM, Ryan Schmidt wrote:
>
>>
>> On Mar 28, 2016, at 6:22 PM, Abdulrahman Alshammari
>> wrote:
>>
>>>
>>> On Mar 28, 2016, at 11:54 AM, Ryan Schmidt
> On Mar 28, 2016, at 6:22 PM, Abdulrahman Alshammari
> wrote:
>
>>
>> On Mar 28, 2016, at 11:54 AM, Ryan Schmidt wrote:
>>
>>
>>> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari
>>> wrote:
>>>
>>> Hey,
>>>
>>> I am
> On Mar 28, 2016, at 11:54 AM, Ryan Schmidt wrote:
>
>
>> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari
>> wrote:
>>
>> Hey,
>>
>> I am building a porfile of my software. Originally, the software requires at
>> least 1.8 Java version.
> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari
> wrote:
>
> Hey,
>
> I am building a porfile of my software. Originally, the software requires at
> least 1.8 Java version. I have found some portfiles in available ports
> section, they use pre-fetch to check if
Hey,
I am building a porfile of my software. Originally, the software requires at
least 1.8 Java version. I have found some portfiles in available ports
section, they use pre-fetch to check if the operation system is at least
earlier than a certain version. Can I do that for to check for Java