Add constraint int_lin_eq

Add int_lin_eq constraint