Closed Gary-oak-Star closed 7 months ago
Hi, I have noticed that you were planning to add the features of AIGER support. However, I didn't find any usage in doc, any suggestions? Did it has been implemented?
No. It was probably on my TODO list to do something with AIGs, but never got around to it.
Hi, I have noticed that you were planning to add the features of AIGER support. However, I didn't find any usage in doc, any suggestions? Did it has been implemented?