Draft: non-linear CHC solving

.gitignore

@@ -26,6 +26,9 @@ benchlog
 benchscores
 koat-examples
 benchmarks*
+# Actually I find it kind of important to track benchmark results
+# in git, to see how they are affected by changes in the codebase.
+!benchmarks/
 
 # hidden files
 .*
@@ -40,6 +43,7 @@ build
 build-static
 bundle
 CMakeFiles
+CMakeCache.txt
 compile_commands.json
 loat-static
 LoAT.*

CMakeLists.txt

@@ -34,6 +34,7 @@ endif()
 add_compile_options(-Wall -Wextra -pedantic -Wno-unused-parameter)
 
 set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "${CMAKE_CXX_FLAGS_RELEASE} -g")
+set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
 
 message(STATUS "Build type: " ${CMAKE_BUILD_TYPE})
 message(STATUS "Compiler flags:" ${CMAKE_CXX_COMPILE_FLAGS})