diff --git a/solver/CMakeLists.txt b/solver/CMakeLists.txt
index a159187a5b27..9618f9a0576d 100644
--- a/solver/CMakeLists.txt
+++ b/solver/CMakeLists.txt
@@ -28,3 +28,5 @@ set(CMAKE_CXX_FLAGS "-Wall -Wextra -O3 -g")
 set(CMAKE_C_FLAGS "-O3 -g")
 #set(CMAKE_CXX_FLAGS_DEBUG "-g")
 #set(CMAKE_CXX_FLAGS_RELEASE "-O3")
+
+install(TARGETS solver-smt solver-fuzzy)