[SMT-LIB] QF_BV and division by zero

Alberto Griggio griggio at fbk.eu
Tue Apr 4 02:39:03 EDT 2017


> 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


More information about the SMT-LIB mailing list