set(CTEST_PROJECT_NAME "sat-solver")
set(CTEST_NIGHTLY_START_TIME "00:00:00 EST")
set(UPDATE_TYPE "svn")
set(CTEST_DROP_METHOD "http")
set(CTEST_DROP_SITE "yast.suse.de")
set(CTEST_DROP_LOCATION "/cdash/submit.php?project=sat-solver")
set(CTEST_DROP_SITE_CDASH TRUE)
