if(LLZK_BUILD_DEVTOOLS)
  include_directories(include)
  add_subdirectory(llzk-lsp-server)
  add_subdirectory(llzk-opt)
  add_subdirectory(r1cs-opt)
endif()
