presburger arithmetic - English Synonyms Dictionary