unsigned int c_d
Create a clone after every c_d commits (commit distance)
bool clone
Whether engines create a clone when being initialized.
Options(void)
Initialize with default values.
unsigned int d_l
Discrepancy limit (for LDS)
Cutoff * cutoff
Cutoff for restart-based search.
unsigned int a_d
Create a clone during recomputation if distance is greater than a_d (adaptive distance)
Stop * stop
Stop object for stopping search.
SearchTracer * tracer
Tracer object for tracing search.
unsigned int assets
Number of assets (engines) in a portfolio.
unsigned int slice
Size of a slice in a portfolio (in number of failures)
unsigned int nogoods_limit
Depth limit for extraction of no-goods.
double threads
Number of threads to use.
Gecode toplevel namespace