Vazquez-Chanlatte, M., & Rabe, M. py-aiger (Version 6) [Computer software]. https://github.com/mvcisback/py-aiger