diff --git a/CMakeLists.txt b/CMakeLists.txt
index 008d4be1..e8c3ccdf 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -386,30 +386,7 @@ find_package(Threads)
 
 find_package(Eigen3 REQUIRED)
 
-################################################################
-#
-# Locate CUDD bdd package.
-#
-find_library(CUDD_LIB
-  NAME cudd
-  PATHS ${CUDD_DIR}
-  PATH_SUFFIXES lib lib/cudd cudd/.libs
-  )
-if (CUDD_LIB)
-  message(STATUS "CUDD library: ${CUDD_LIB}")
-  get_filename_component(CUDD_LIB_DIR "${CUDD_LIB}" PATH)
-  get_filename_component(CUDD_LIB_PARENT1 "${CUDD_LIB_DIR}" PATH)
-  find_file(CUDD_HEADER cudd.h
-    PATHS ${CUDD_LIB_PARENT1} ${CUDD_LIB_PARENT1}/include ${CUDD_LIB_PARENT1}/include/cudd)
-  if (CUDD_HEADER)
-    get_filename_component(CUDD_INCLUDE "${CUDD_HEADER}" PATH)
-    message(STATUS "CUDD header: ${CUDD_HEADER}")
-  else()
-    message(STATUS "CUDD header: not found")
-  endif()
-else()
-  message(STATUS "CUDD library: not found")
-endif()
+include(cmake/FindCUDD.cmake)
 
 if("${SSTA}" STREQUAL "")
   set(SSTA 0)
diff --git a/cmake/FindCUDD.cmake b/cmake/FindCUDD.cmake
new file mode 100644
index 00000000..170548d4
--- /dev/null
+++ b/cmake/FindCUDD.cmake
@@ -0,0 +1,25 @@
+################################################################
+#
+# Locate CUDD bdd package.
+#
+################################################################
+find_library(CUDD_LIB
+  NAME cudd
+  PATHS ${CUDD_DIR}
+  PATH_SUFFIXES lib lib/cudd cudd/.libs
+  )
+if (CUDD_LIB)
+  message(STATUS "CUDD library: ${CUDD_LIB}")
+  get_filename_component(CUDD_LIB_DIR "${CUDD_LIB}" PATH)
+  get_filename_component(CUDD_LIB_PARENT1 "${CUDD_LIB_DIR}" PATH)
+  find_file(CUDD_HEADER cudd.h
+    PATHS ${CUDD_LIB_PARENT1} ${CUDD_LIB_PARENT1}/include ${CUDD_LIB_PARENT1}/include/cudd)
+  if (CUDD_HEADER)
+    get_filename_component(CUDD_INCLUDE "${CUDD_HEADER}" PATH)
+    message(STATUS "CUDD header: ${CUDD_HEADER}")
+  else()
+    message(STATUS "CUDD header: not found")
+  endif()
+else()
+  message(STATUS "CUDD library: not found")
+endif()