diff --git a/setup.py b/setup.py
index c5ef4e729..805810a6d 100644
--- a/setup.py
+++ b/setup.py
@@ -44,7 +44,8 @@ def build_extension(self, ext):
 
         cmake_args = [
             '-DCMAKE_LIBRARY_OUTPUT_DIRECTORY=' + extdir,
-            '-DPYTHON_EXECUTABLE=' + sys.executable
+            '-DPYTHON_EXECUTABLE=' + sys.executable,
+            '-DVARA_FEATURE_USE_Z3_SOLVER=True'
         ]
 
         cfg = 'Debug' if self.debug else 'Release'