Closed mschlund closed 11 years ago
BDD-like representation with a hashmap (store each atom only once in memory)
Perhaps this could be a unifying basic structure for
all behaving slightly different when performing operations like Add/Mul.
BDD-like representation with a hashmap (store each atom only once in memory)
Perhaps this could be a unifying basic structure for
all behaving slightly different when performing operations like Add/Mul.