Merge pull request #3280 from YosysHQ/micko/fix_readaiw

Fix reading aiw from other solvers

diff --combined Makefile
index 1a73e726f10a897d3ce539364dd233537b571359,e77b4f6b4c24318480c8edd57ee043d89555f886..44ce248cc833f8ddac2252a94a2df4c40368be8e
--- 1/Makefile
--- 2/Makefile
+++ b/Makefile
@@@ -129,7 -129,7 +129,7 @@@ LDFLAGS += -rdynami
  LDLIBS += -lrt
  endif
  
 -YOSYS_VER := 0.16+31
 +YOSYS_VER := 0.16+34
  GIT_REV := $(shell git -C $(YOSYS_SRC) rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
  OBJS = kernel/version_$(GIT_REV).o
  
@@@ -142,7 -142,7 +142,7 @@@ bumpversion
  # is just a symlink to your actual ABC working directory, as 'make mrproper'
  # will remove the 'abc' directory and you do not want to accidentally
  # delete your work on ABC..
- ABCREV = 00b674d
+ ABCREV = 3da9357
  ABCPULL = 1
  ABCURL ?= https://github.com/YosysHQ/abc
  ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 VERBOSE=$(Q)