/* * 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 )