list(APPEND LDFLAGS -lstdc++ -lm)
if(SMALL_PROBLEM_SIZE)
  set(INPUT small.cnf)
else()
  if(LARGE_PROBLEM_SIZE)
    set(INPUT long.cnf)
  else()
    set(INPUT short.cnf)
  endif()
endif()
set(RUN_OPTIONS -verbosity=0 ${INPUT})
set(FP_TOLERANCE 0.1)
llvm_multisource(minisat)
llvm_test_data(minisat ${INPUT})