perf: Switch to using ids for hashing and eq check.

closes: #135
BREAKING_CHANGE: Structually equal circuits will not necessarily be equal now.
co-authored-by: Gabriele Masina <[email protected]>

Author: mvcisback

aiger/aig.py

@@ -50,7 +50,7 @@ def children(self):
         pass
 
 
-@attr.frozen(cache_hash=True)
+@attr.frozen(auto_detect=True)
 class AndGate(Node):
     left: Node
     right: Node
@@ -59,15 +59,27 @@ class AndGate(Node):
     def children(self):
         return (self.left, self.right)
 
+    def __eq__(self, other) -> bool:
+        return id(self) == id(other)  # Allow for duplication.
 
-@attr.frozen
+    def __hash__(self) -> int:
+        return hash(id(self))
+
+
+@attr.frozen(auto_detect=True)
 class Inverter(Node):
     input: Node
 
     @property
     def children(self):
         return (self.input, )
 
+    def __eq__(self, other) -> bool:
+        return id(self) == id(other)  # Allow for duplication.
+
+    def __hash__(self) -> int:
+        return hash(id(self))
+
 
 @attr.frozen
 class Input(Node):
@@ -77,6 +89,12 @@ class Input(Node):
     def children(self):
         return ()
 
+    def __eq__(self, other) -> bool:
+        return isinstance(other, Input) and (self.name == other.name)
+
+    def __hash__(self) -> int:
+        return hash(("input", self.name))
+
 
 @attr.frozen
 class LatchIn(Node):
@@ -86,6 +104,12 @@ class LatchIn(Node):
     def children(self):
         return ()
 
+    def __eq__(self, other) -> bool:
+        return isinstance(other, LatchIn) and (self.name == other.name)
+
+    def __hash__(self) -> int:
+        return hash(("latch", self.name))
+
 
 @attr.frozen
 class ConstFalse(Node):

poetry.lock

@@ -1,7 +1,7 @@
 [tool.poetry]
 name = "py-aiger"
 readme="README.md"
-version = "6.2.3"
+version = "7.0.0"
 repository = "https://github.com/mvcisback/py-aiger"
 description = "A python library for manipulating sequential and-inverter gates."
 authors = ["Marcell Vazquez-Chanlatte <[email protected]>"]
@@ -25,6 +25,9 @@ pytest-xdist = "^3"
 py-aiger-ptltl = "^3.1.0"
 parsimonious = "^0.10"
 
+[tool.poetry.group.dev.dependencies]
+pytest-timeout = "^2.3.1"
+
 [build-system]
 requires = ["poetry>=0.12"]
 build-backend = "poetry.masonry.api"