diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..a9e961a
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,6 @@
+[submodule "lib/alice"]
+	path = lib/alice
+	url = https://github.com/msoeken/alice.git
+[submodule "lib/mockturtle"]
+	path = lib/mockturtle
+	url = https://github.com/lsils/mockturtle.git
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
new file mode 100644
index 0000000..c345fc2
--- /dev/null
+++ b/lib/CMakeLists.txt
@@ -0,0 +1,2 @@
+add_subdirectory(alice)
+add_subdirectory(mockturtle)
diff --git a/lib/alice b/lib/alice
new file mode 160000
index 0000000..0614bb7
--- /dev/null
+++ b/lib/alice
@@ -0,0 +1 @@
+Subproject commit 0614bb787de63ce445dcfee920409006a3f2f5a4
diff --git a/lib/mockturtle b/lib/mockturtle
new file mode 160000
index 0000000..da2b5e6
--- /dev/null
+++ b/lib/mockturtle
@@ -0,0 +1 @@
+Subproject commit da2b5e697d2dc988746fb94aceaebb277d385b83