# Yuri Pirola. Copyright (C) 2010. GPLv3.

# Declaration of main options.
# Included into the main CMakeLists.txt.


## Uncomment to disable xor-clauses
add_definitions("-DAVOID_XOR_CLAUSES")

option(INTEGRATE_SAT_SOLVER
  "Integrate a SAT solver into ZRHCstar."
  ON
)

option(DISABLE_EXTERNAL_SAT_SOLVERS
  "Disable the ability to use an external SAT solver (saves memory)."
  OFF
)

if (INTEGRATE_SAT_SOLVER)

   # Enable ONE and ONLY ONE of the following options to
   # choose the SAT solver
   # (default = CRYPTOMINISAT)

   option(USE_CRYPTOMINISAT
     "Use CryptoMiniSat."
     ON
   )

   option(USE_MINISAT
     "Use MiniSat."
     OFF
   )

   ## ####################
   ##
   ## Specific options for the solvers
   ##
   ## ####################

   ## Solver: CryptoMiniSat

   ### Uncomment the following to (try to) lower the memory usage
   ### (speed will be affected)
   # add_definitions("-DTRY_LOW_MEMORY_USAGE")


endif()
