(2023-12-27) v6.2.0 (2023-01-14) Bug Fixes Parser no longer (implictly) assumed ordered inputs/outputs. (fbfbf752) parser: Allow empty comments and symbol table. (241a6000) Features parser: Support for parsing binary AIG files. (465c96a5)