Refactor CMake configuration to enable library build and testing, upd…

…ating executable and library definitions

CMakeLists.txt

@@ -37,12 +37,11 @@ message(STATUS "Heuristic type: ${HEURISTIC_TYPE}")
 
 add_subdirectory(extern/riddle)
 
-add_executable(oRatioLib test/main.cpp)
-# add_library(oRatioLib src/solver.cpp)
-# target_compile_features(oRatioLib PUBLIC cxx_std_17)
-# add_dependencies(oRatioLib RiDDLe)
-# target_link_libraries(oRatioLib PUBLIC RiDDLe)
-# target_include_directories(oRatioLib PUBLIC $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>)
+add_library(oRatioLib src/solver.cpp)
+target_compile_features(oRatioLib PUBLIC cxx_std_17)
+add_dependencies(oRatioLib RiDDLe)
+target_link_libraries(oRatioLib PUBLIC RiDDLe)
+target_include_directories(oRatioLib PUBLIC $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>)
 
 if(${CONSTRAINT_REASONER_TYPE} STREQUAL "Z3")
     include(FetchContent)
@@ -73,9 +72,9 @@ if(BUILD_LISTENERS)
     target_compile_definitions(oRatioLib PUBLIC BUILD_LISTENERS)
 endif()
 
-# if(BUILD_TESTING)
-#     add_subdirectory(tests)
-# endif()
+if(BUILD_TESTING)
+    add_subdirectory(tests)
+endif()
 
 if(MSVC)
     target_compile_options(oRatioLib PRIVATE /W4)