Add macOS installation#6

Open

RexYuan wants to merge 2 commits intofmlab-iis:masterfrom

RexYuan:install-mac

Commits on May 17, 2023

Modified abc,aiger install scripts to work on mac
RexYuan
committed

Commits on Jun 2, 2023

Added mac install instructions
RexYuan
committed