bergwerf / linear_integer_arithmetic

Linear integer arithmetic decidability via automata.

Geek Repo

Github PK Tool