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