Skip to content

read_aiger: Fix incorrect read of binary Aiger without outputs #3358

read_aiger: Fix incorrect read of binary Aiger without outputs

read_aiger: Fix incorrect read of binary Aiger without outputs #3358