Add submitted code

Author: christ2go

Syft/CMakeLists.txt

@@ -0,0 +1,25 @@
+cmake_minimum_required(VERSION 3.5)
+project(Syft)
+
+set (CMAKE_CXX_STANDARD 14)
+
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++14")
+
+set(CMAKE_MODULE_PATH
+    "${CMAKE_MODULE_PATH}"
+    "${CMAKE_ROOT_DIR}/cmake/Modules"
+    "${CMAKE_CURRENT_SOURCE_DIR}/CMakeModules")
+  
+set( CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin )
+set( CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib )
+cmake_policy(SET CMP0074 NEW)  
+find_package(CUDD REQUIRED)
+find_package(BISON REQUIRED)
+find_package(FLEX REQUIRED)
+find_package(Boost)
+if (Boost_FOUND)
+    include_directories(${Boost_INCLUDE_DIR})
+    add_definitions( "-DHAS_BOOST" )
+endif()
+
+add_subdirectory(src)

Syft/CMakeModules/FindCUDD.cmake

@@ -0,0 +1,39 @@
+# Try to find CUDD headers and libraries.
+#
+# Usage of this module as follows:
+#
+# find_package(CUDD)
+#
+# Variables used by this module, they can change the default behaviour and need
+# to be set before calling find_package:
+#
+# CUDD_ROOT Set this variable to the root installation of
+# libcudd if the module has problems finding the
+# proper installation path.
+#
+# Variables defined by this module:
+#
+# CUDD_FOUND System has CUDD libraries and headers
+# CUDD_LIBRARIES The CUDD library
+# CUDD_INCLUDE_DIRS The location of CUDD headers
+
+# Get hint from environment variable (if any)
+if(NOT CUDD_ROOT AND DEFINED ENV{CUDD_ROOT})
+	set(CUDD_ROOT "$ENV{CUDD_ROOT}" CACHE PATH "CUDD base directory location (optional, used for nonstandard installation paths)")
+	mark_as_advanced(CUDD_ROOT)
+endif()
+
+# Search path for nonstandard locations
+if(CUDD_ROOT)
+	set(CUDD_INCLUDE_PATH PATHS "${CUDD_ROOT}/include" NO_DEFAULT_PATH)
+	set(CUDD_LIBRARY_PATH PATHS "${CUDD_ROOT}/lib" NO_DEFAULT_PATH)
+endif()
+
+find_path(CUDD_INCLUDE_DIRS NAMES cudd.h HINTS ${CUDD_INCLUDE_PATH})
+find_library(CUDD_LIBRARIES NAMES cudd CUDDVC-2.5.0 HINTS ${CUDD_LIBRARY_PATH})
+
+include(FindPackageHandleStandardArgs)
+
+find_package_handle_standard_args(CUDD DEFAULT_MSG CUDD_LIBRARIES CUDD_INCLUDE_DIRS)
+
+mark_as_advanced(CUDD_ROOT CUDD_LIBRARIES CUDD_INCLUDE_DIRS)