ioReadAiger.c
19.2 KB
-
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for… · 96b784ecFixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
Alan Mishchenko committed