[submodule "lib/mockturtle"] path = lib/mockturtle url = https://github.com/panhomyoung/mockturtle.git [submodule "lib/abc"] path = lib/abc url = https://github.com/berkeley-abc/abc.git