Tag Info

New answers tagged

0

The symbolic solver in the slide cannot deduce that an integer multiplied by 4 cannot be 17. This is a statement about that particular solver at that point in time, not about solvers in general.



Top 50 recent answers are included