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, Jin Hee Kim for discussions, code constribtuions, and bug reports.