[SMT-LIB] QF_BV and division by zero

[Aina Niemetz]

I also agree with Bruno.

Aina


On 04/04/2017 08:39 AM, Alberto Griggio wrote:
>> From an implementation point of view, the simplest approach is one that
>> avoids special treatments for division by zero and makes things
>> uniform.
> 
> [snip]
> 
> I agree with Bruno.
> 
> Alberto
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-lib/attachments/20170404/a686cae1/attachment.asc>