Definition auxiliary_data.hpp:38
Definition options.hpp:45
Options()
Unique constructor.
int tabu_time_selected
Number of local moves a selected variable is marked tabu.
Definition options.hpp:53
int reset_threshold
Number of variables marked as tabu required to trigger a reset.
Definition options.hpp:55
~Options()=default
Default destructor.
bool parallel_runs
To enable parallel runs of the solver. Using all available physical cores if number_threads is not sp...
Definition options.hpp:48
int number_threads
Number of threads the solver will use for the search.
Definition options.hpp:50
bool enable_optimization_guidance
For optimization problems, consider the optimization cost as a tie-breaker for satisfaction plateau.
Definition options.hpp:49
int number_start_samplings
Number of variable assignments the solver randomly draw, if custom_starting_point and resume_search a...
Definition options.hpp:58
Options(const Options &other)
Unique copy constructor.
int number_variables_to_reset
Number of variables to randomly change the value at each reset.
Definition options.hpp:57
Options(Options &&other)
Unique move constructor.
bool custom_starting_point
To force starting the search on a custom variables assignment.
Definition options.hpp:46
std::shared_ptr< Print > print
Allowing custom solution print (by derivating a class from ghost::Print)
Definition options.hpp:51
int restart_threshold
Trigger a restart every 'restart_threshold' reset. Set to 0 to never trigger restarts.
Definition options.hpp:56
Options & operator=(Options other)
int percent_chance_force_trying_on_plateau
Percentage of chance to force trying another variable rather than doing a move on a plateau.
Definition options.hpp:54
int tabu_time_local_min
Number of local moves a variable of a local minimum is marked tabu.
Definition options.hpp:52
bool resume_search
Allowing stop-and-resume computation.
Definition options.hpp:47