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