diff --git a/Makefile b/Makefile
index fbef312b..614afaeb 100644
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,7 @@ dependencies-ocaml:
 		ocamlformat ANSITerminal sedlex	menhir menhirLib dune cmdliner obelisk \
 		re obelisk unionfind bindlib zarith zarith_stubs_js ocamlgraph \
 		js_of_ocaml-compiler js_of_ocaml js_of_ocaml-ppx calendar camomile \
-		visitors benchmark cppo odoc
+		visitors benchmark cppo odoc z3
 
 dependencies-js:
 	$(MAKE) -C $(FRENCH_LAW_JS_LIB_DIR) dependencies
diff --git a/compiler/dcalc/dune b/compiler/dcalc/dune
index e450c570..dae2a787 100644
--- a/compiler/dcalc/dune
+++ b/compiler/dcalc/dune
@@ -1,7 +1,7 @@
 (library
  (name dcalc)
  (public_name catala.dcalc)
- (libraries bindlib unionFind utils re camomile runtime)
+ (libraries bindlib unionFind utils re camomile runtime z3)
  (preprocess
   (pps visitors.ppx)))
 
diff --git a/dune-project b/dune-project
index 2b7c56ae..d67fd0fa 100644
--- a/dune-project
+++ b/dune-project
@@ -62,6 +62,8 @@
    (>= 3.8.0))
   (camomile
    (>= 1.0.2))
+  (z3
+   (>= 4.8.11))
   (cppo
    (>= 1))))