decidability - Robuta Search

https://github.com/bergwerf/linear_integer_arithmetic

Linear integer arithmetic decidability via automata. - bergwerf/linear_integer_arithmetic