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