add_subdirectory(c)
add_subdirectory(c++)
add_subdirectory(tptp)
if (BUILD_PYTHON_BINDINGS)
  add_subdirectory(python)
endif()