[SMT-LIB] Yices 2 source available

[Bruno Dutertre]

On 08/06/2014 10:15 AM, Martin Brain wrote:
> On Wed, 2014-08-06 at 09:57 -0700, Bruno Dutertre wrote:
>> We are pleased to announce that the Yices source code
>> is now available.  Source and binary distributions
>> can be downloaded at http://yices.csl.sri.com/
>>
>> The current release is Yices 2.2.2. It fixes several
>> bugs and includes support for solving exists/forall
>> problems.
>>
>> Please visit http://yices.csl.sri.com for updates and more
>> information about Yices.
>
> May I ask for a little clarification on the licence.  It says:
>
> "This EULA permits use of the software only for projects that do not
> receive external funding other than government research grants and
> contracts. Any other use requires a commercial license."
>
> It does not specify which government, I presume it means the US
> government.  It is also not clear whether this covers extra-national
> entities such as EU funding bodies, or government funding that is not a
> research grant or contract (for example the TSB in the UK).  Depending
> on the interpretation of these, a number of people on the list may or
> may not be able to access the source.
>

Hi Martin,

Your presumption is not correct. The license is not restricted
to funding from the US Government. Government fundings of all
kinds are OK.

Bruno