add_subdirectory(nanobind)
add_subdirectory(minisat)
add_subdirectory(picosat-960)
add_subdirectory(nenofex-version-1.1)
add_subdirectory(depqbf-version-6.03)
add_subdirectory(rareqs)
add_subdirectory(qute)
add_subdirectory(qfun)
add_subdirectory(bloqqer)
if(NOT APPLE)
  add_subdirectory(QuAPI)
endif()
