Define Eq for Var and Clause based on reference equivalency

src/types/clause.rs

@@ -8,7 +8,7 @@ use {
 };
 
 /// A representation of 'clause'
-#[derive(Clone, Debug, Eq, PartialEq, PartialOrd)]
+#[derive(Clone, Debug)]
 pub struct Clause {
     /// The literals in a clause.
     pub(crate) lits: Vec<Lit>,
@@ -85,6 +85,14 @@ impl Default for Clause {
     }
 }
 
+impl PartialEq for Clause {
+    fn eq(&self, other: &Self) -> bool {
+        self == other
+    }
+}
+
+impl Eq for Clause {}
+
 impl Index<usize> for Clause {
     type Output = Lit;
     #[inline]

src/types/var.rs

@@ -51,6 +51,12 @@ impl Default for Var {
     }
 }
 
+impl PartialEq for Var {
+    fn eq(&self, other: &Self) -> bool {
+        self == other
+    }
+}
+
 impl fmt::Display for Var {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         let st = |flag, mes| if self.is(flag) { mes } else { "" };