let fprint_linear_cstrs_sol ff sol = Integer_var_map.iter (fun x n -> Format.fprintf ff "%a = %d@\n" fprint_integer_var x n) sol