linear Diophantine constraints