Yeah - the situation is a little frustrating with integers:
- Peano is simplistic
- clpfd is usually overkill - Conditional doesn't backtrack for solution - #20 by brebs
I’ve occasionally yearned for a method in the middle of those 2, for relations between integers. But I’ve not fully-formed these thoughts.