diff --git a/.gitmodules b/.gitmodules index ed2e17e..4ce5f8d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,9 @@ +[submodule "lib/alice"] + path = lib/alice + url = https://github.com/msoeken/alice.git [submodule "lib/mockturtle"] path = lib/mockturtle url = https://github.com/panhomyoung/mockturtle.git [submodule "lib/abc"] path = lib/abc - url = https://github.com/panhomyoung/abc.git + url = https://github.com/panhomyoung/abc.git \ No newline at end of file