diff --git a/.gitmodules b/.gitmodules
index ed2feeb..34fb972 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,12 @@
 [submodule "vendor/cvc5"]
 	path = vendor/cvc5
 	url = https://github.com/cvc5/cvc5
+[submodule "vendor/cadical"]
+	path = vendor/cadical
+	url = https://github.com/arminbiere/cadical.git
+[submodule "vendor/libpoly"]
+	path = vendor/libpoly
+	url = https://github.com/SRI-CSL/libpoly.git
+[submodule "vendor/symfpu"]
+	path = vendor/symfpu
+	url = https://github.com/cvc5/symfpu.git
diff --git a/dune b/dune
index 9b73b80..34fd38e 100644
--- a/dune
+++ b/dune
@@ -1,3 +1,9 @@
+(env
+ (_
+  (env-vars
+   (CMAKE_INCLUDE_PATH "../../cadical/src/:../../libpoly/:../../")
+   (CMAKE_LIBRARY_PATH "../../cadical/build/:../../libpoly/build/src/"))))
+
 (rule
  (deps
   (source_tree vendor))
@@ -5,15 +11,33 @@
  (action
   (no-infer
    (progn
+    (chdir
+     vendor/cadical
+     (progn
+      (run ./configure)
+      (run make -j 4)))
+    (copy vendor/cadical/build/libcadical.a libcadical.a)
+    (chdir
+     vendor/libpoly
+     (progn
+      (run
+       cmake
+       -B
+       build
+       -DCMAKE_BUILD_TYPE=$type
+       -DCMAKE_INSTALL_PREFIX=$prefix)
+      (chdir
+       build
+       (run make -j 4))
+      (run mv include poly)))
+    (copy vendor/libpoly/build/src/libpicpoly.a libpicpoly.a)
+    (copy vendor/libpoly/build/src/libpicpolyxx.a libpicpolyxx.a)
     (chdir
      vendor/cvc5
      (progn
-      (run ./configure.sh --auto-download --static)
+      (run ./configure.sh --static)
       (run make -C build -j 4)))
     (copy vendor/cvc5/build/src/libcvc5.a libcvc5.a)
-    (copy vendor/cvc5/build/deps/lib/libcadical.a libcadical.a)
-    (copy vendor/cvc5/build/deps/lib/libpicpoly.a libpicpoly.a)
-    (copy vendor/cvc5/build/deps/lib/libpicpolyxx.a libpicpolyxx.a)
     (copy vendor/cvc5/build/include/cvc5/cvc5_export.h cvc5_export.h)))))
 
 (subdir
diff --git a/vendor/cadical b/vendor/cadical
new file mode 160000
index 0000000..2df7b7f
--- /dev/null
+++ b/vendor/cadical
@@ -0,0 +1 @@
+Subproject commit 2df7b7fed0f9c522fd4cdf6e88cecad4cac8a2df
diff --git a/vendor/libpoly b/vendor/libpoly
new file mode 160000
index 0000000..7a4dedc
--- /dev/null
+++ b/vendor/libpoly
@@ -0,0 +1 @@
+Subproject commit 7a4dedcdc3446ac8fba5673faeb2e95bed9bb73a
diff --git a/vendor/symfpu b/vendor/symfpu
new file mode 160000
index 0000000..c3acaf6
--- /dev/null
+++ b/vendor/symfpu
@@ -0,0 +1 @@
+Subproject commit c3acaf62b137c36aae5eb380f1d883bfa9095f60