let is_diseq a b =
  try
    let _ = solve (a, b) in
      false
  with
      Exc.Inconsistent -> true