Closed povik closed 3 weeks ago
What are the reasons/motivation for this change?
A minor fix (to fix usage of Index out of the aiger backend)
What are the reasons/motivation for this change?
A minor fix (to fix usage of Index out of the aiger backend)