/*
   * Identity operator
   *
   * +identical+ represents satsolver semantics for _equality_
   *
   * This might be different from your application needs, beware !
   *
   * call-seq:
   *  solvable.identical?(other_solvable) -> bool
   *
   */
  int identical( XSolvable *xs )