goes linear constraints over reals and integers