11th November 2021, 1 min read Checking simple equations or inequalities with z3 2 thoughts on “Checking simple equations or inequalities with z3” Antosha says: November 12, 2021 at 7:32 am // the number 2147483648 becomes -1 // It becomes -2147483648. Daniel Lemire says: November 12, 2021 at 1:42 pm You are absolutely correct. Thank you for catching and reporting this mistake.
// the number 2147483648 becomes -1 //
It becomes -2147483648.
You are absolutely correct. Thank you for catching and reporting this mistake.