let is_diseq a b =
  try
    let sl = solve (a, b) in
      sl <> []
  with
      Exc.Inconsistent -> true