diff --git a/.gitmodules b/.gitmodules
index a9e961a..f4287fe 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "lib/mockturtle"]
 	path = lib/mockturtle
 	url = https://github.com/lsils/mockturtle.git
+[submodule "lib/abc"]
+	path = lib/abc
+	url = https://github.com/berkeley-abc/abc.git
diff --git a/abc b/abc
new file mode 160000
index 0000000..581c58b
--- /dev/null
+++ b/abc
@@ -0,0 +1 @@
+Subproject commit 581c58b9c48772b549dc921fd7c854484470ed8c
diff --git a/lib/abc b/lib/abc
new file mode 160000
index 0000000..581c58b
--- /dev/null
+++ b/lib/abc
@@ -0,0 +1 @@
+Subproject commit 581c58b9c48772b549dc921fd7c854484470ed8c