AcknowledgmentsΒΆ

The implementation of aiger_reader was highly inspired by the function read_aiger_file in pyaig by Baruch Sterin. I thank Mathias Soeken, Gianluca Martino, Marcel Walter, Max Austin, Jin Hee Kim, Bruno Schmitt, Siang-Yun Lee, and Shubham Rai for discussions, code contribtuions, and bug reports.