Update subproject references, set C++ standard to C++17 for oRatioLib…

…, and modify default case handling in solver_api

CMakeLists.txt

@@ -37,6 +37,7 @@ add_subdirectory(extern/riddle)
 add_subdirectory(extern/semitone)
 
 add_library(oRatioLib src/solver.cpp src/graph.cpp src/flaw.cpp src/resolver.cpp src/smart_type.cpp src/flaws/atom_flaw.cpp src/flaws/bool_flaw.cpp src/flaws/disj_flaw.cpp src/flaws/disjunction_flaw.cpp src/flaws/enum_flaw.cpp src/types/agent.cpp src/types/state_variable.cpp src/types/consumable_resource.cpp src/types/reusable_resource.cpp $<$<BOOL:${ENABLE_API}>:${CMAKE_CURRENT_SOURCE_DIR}/src/solver_api.cpp>)
+target_compile_features(oRatioLib PUBLIC cxx_std_17)
 add_dependencies(oRatioLib RiDDLe SeMiTONE)
 target_link_libraries(oRatioLib PUBLIC RiDDLe SeMiTONE)
 target_include_directories(oRatioLib PUBLIC $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include> $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include/flaws> $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include/types> $<BUILD_INTERFACE:${CMAKE_CURRENT_BINARY_DIR}>)

src/solver_api.cpp

@@ -280,10 +280,9 @@ namespace ratio
             return "active";
         case utils::False:
             return "forbidden";
-        case utils::Undefined:
+        default:
             return "inactive";
         }
-        assert(false);
     }
 
     [[nodiscard]] json::json to_json(const resolver &r) noexcept