Parameters
| KALIS_AUTO_PROPAGATE |
Propagates automatically
|
| KALIS_AUTO_RELAX |
Use linear relaxation automatically
|
| KALIS_BACKTRACKS |
Number of backtracks
|
| KALIS_CHECK_SOLUTION |
Automated solution checking
|
| KALIS_COMPUTATION_TIME |
Computation time
|
| KALIS_DEFAULT_CONTINUOUS_LB |
Default lower bound for domains of cpfloatvar
|
| KALIS_DEFAULT_CONTINUOUS_UB |
Default upper bound for domains of cpfloatvar
|
| KALIS_DEFAULT_LB |
Default lower bound for finite domain variables
|
| KALIS_DEFAULT_PRECISION_RELATIVITY |
Precision relativity for continuous variables
|
| KALIS_DEFAULT_PRECISION_VALUE |
Default precision for continuous variables
|
| KALIS_DEFAULT_SCHEDULE_HORIZ_MAX |
Default maximal time horizon for schedules
|
| KALIS_DEFAULT_SCHEDULE_HORIZ_MIN |
Default minimal time horizon for schedules
|
| KALIS_DEFAULT_UB |
Default upper bound for finite domain variables
|
| KALIS_DEPTH |
Depth of tree search
|
| KALIS_DICHOTOMIC_OBJ_SEARCH |
Uses a dichotomic strategy to find the optimal objective value
|
| KALIS_MAX_BACKTRACKS |
Maximum number of backtracks
|
| KALIS_MAX_COMPUTATION_TIME |
Maximum computation time
|
| KALIS_MAX_DEPTH |
Maximum depth
|
| KALIS_MAX_NODES |
Maximum number of nodes
|
| KALIS_MAX_NODES_BETWEEN_SOLUTIONS |
Number of nodes between two solutions
|
| KALIS_MAX_SOLUTIONS |
Maximum number of solutions
|
| KALIS_NARY_OBJ_SEARCH |
Uses an n-ary search strategy to find the optimal objective value
|
| KALIS_NODES |
Counter for number of nodes
|
| KALIS_OPT_ABS_TOLERANCE |
Absolute optimality tolerance
|
| KALIS_OPT_REL_TOLERANCE |
Relative optimality tolerance
|
| KALIS_OPTIMIZE_WITH_RESTART |
Whether to restart search after each solution
|
| KALIS_SCHEDULE_ENABLE_SHAVING |
Enable shaving during initial step of schedule search
|
| KALIS_SEARCH_LIMIT |
Search limit reached
|
| KALIS_THREADS |
Number of threads
|
| KALIS_TOLERANCE_LIMIT |
Tolerance limit reached
|
| KALIS_USE_3B_CONSISTENCY |
Activates 3B consistency for continuous variables
|
| KALIS_VERBOSE_LEVEL |
Verbosity level of Xpress Kalis
|