# Index

::/2 ic, 3.2.1 ic, 3.2.1 =>/2, 3.1.2, 3.2.3 =\=/2 ic, 3.2.2 #<=>/2, 3.1.2 #<=/2, 3.1.2 #/2 fd_sets, 5.3.2 #::/2 ic, 3.2.1 #=</2, 3.1.2 #=>/2, 3.1.2 #=/2, 3.1.2 ic, 3.2.2 ##/2, 3.1.2 #/\/2, 3.1.2 #\+/1, 3.1.2 #\=/2, 3.1.2 ic, 3.2.2 #\//2, 3.1.2 $::/2 eplex, 10.2.3 ic, 3.2.1 $</2 ic, 3.2.2 ic, 3.2.2 $=/2 eplex, 10.2.1 ic, 3.2.2 $=:=/2 ic, 3.2.2 $=</2 eplex, 10.2.1 ic, 3.2.2, 3.2.2 $>/2 ic, 3.2.2, 3.2.2 $>=/2 eplex, 10.2.1 ic, 3.2.2, 3.2.2 $\=/2 ic, 3.2.2 integers/1 eplex, 10.2.4 &</2 ic_symbolic, 6.2 &=/2 ic_symbolic, 6.2 &=</2 ic_symbolic, 6.2 &>/2 ic_symbolic, 6.2 &>=/2 ic_symbolic, 6.2 &\=/2 ic_symbolic, 6.2 ::/2 fd_sets, 5.2.1 ac_eq/3, 3.2.2 all_disjoint/1, 5.3.4 all_intersection/2, 5.3.4 all_union/2, 5.3.4 alldifferent ic_symbolic, 6.3 alldifferent/1, 4.1 ic, 3.2.4 alldifferent/2, 4.1 alldifferent_matrix/1, 4.1 already_in_heads option, 9.5.3 already_in_store option, 9.5.3 and/2, 3.1.2, 3.2.3 annotation, 11.3 approximate generalised propagation, 8.3 arithmetic constraints, 9.3 atmost/3 ic_symbolic, 6.3 boolean constraints, 9.3 branch_and_bound, 3.2.5 breal/2, 3.1.5 CHR, 9 CPLEX, 10.11 call_priority/2, 7.2.3 check_guard_bindings option, 9.4.2, 9.5.3, 9.7, 9.7.2 chr/1, 9.5.4 chr2pl/1, 9.5.4 chr_get_constraint/1, 9.5.4 chr_get_constraint/2, 9.5.4 chr_label_with/1, 9.5.4 chr_labeling/0, 9.5.4 chr_notrace/0, 9.5.4 chr_resolve/1, 9.5.4 chr_trace/0, 9.5.4 collection_to_list/2, 3.2.1, 3.2.1, 3.2.1, 7.2.3 column generation lp_add_columns/4, 10.4.5 lp_add_constraints/4, 10.4.5 committed choice, 9.3 common solver interface, 2, 2.4 conflict constraint, 11.3 conflict constraints, 11.4 conflict variables, 11.4 conflict_constraints/2, 11.4 conflict_constraints/2, 11.3, 11.3, 11.4 conflict_vars/1, 11.4 consistent, 8.3 constraint annotation, 11.3 constraint handling rules, 9 constraint solvers, 9.3 constraints disjunctive, 8.2 constraints declaration, 9.5.1 control sound, 9.3 copy_term/2, 11.2.6 cumulative/4, 4.2, 4.3 cumulative/5, 4.3 cutpool constraints, 10.5 dbgcomp, 9.5.3, 9.7, 9.8.1 debug_compile flag, 9.5.3, 9.7, 9.8.1 declarations CHR, 9.5.1 default range, 3.2.9 delayed goals, 3.2.9 delayed_goals_number/2, 3.2.7 demon/1, 11.5 difference/3, 5.4 fd_sets, 5.3.3 disjoint/2 fd_sets, 5.3.3 disjunctive constraints, 8.2 disjunctive/2, 4.3 domain constraints, 9.3 domain splitting, 3.2.10 domain/1, 6.1 element/3 ic, 3.2.4 ic_symbolic, 6.2 eplex, 10.1 instance eplex_instance/1, 10.3.2 lp_probe/3, 10.4.3 presolve, 10.3.3 eplex:eplex_get/2, 10.11.3 eplex_add_constraints/3, 10.11.2 eplex_cleanup/0, 10.3.5, 10.4.7 eplex_cplex, 10.11 eplex_get/2, 10.3.1, 10.3.2, 10.11.3 eplex_get_iis/4, 10.9 eplex_instance/1, 10.2 eplex_probe/2, 10.3.4, 10.4.3, 10.11.2 eplex_read/2, 10.3.1 eplex_set/2, 10.3.1, 10.11.3, 10.11.3 eplex_solve/1, 10.2.5 eplex_solver_setup/1, 10.2.5 eplex_solver_setup/4, 10.3.1, 10.3.3, 10.3.3, 10.4.1 eplex_var_get/3, 10.3.1 eplex_write/2, 10.3.1, 10.5.2 eplex_xpress, 10.11 equation solving, 9.3 exclude/2, 3.4.1 exclude_range/3, 3.4.1 existence of solutions, 3.2.9 gcc/2, 4.1 gcc_matrix/3, 4.1 geometric constraints, 9.3 get_bounds/3, 3.2.7 get_delta/2 ic, 3.2.7 get_domain/2, 3.2.7 get_domain_as_list/2, 3.2.7 get_domain_size/2, 3.2.7 get_finite_integer_bounds/3, 3.2.7 get_float_bounds/3, 3.2.7 get_ic_attr/2, 3.4.2 get_integer_bounds/3, 3.2.7 get_max/2, 3.2.7 get_median/2 ic, 3.2.7 get_min/2, 3.2.7 get_solver_type/2, 3.2.7 get_threshold/1 ic, 3.2.8 get_weighted_degree/2, 7.3.3 get_weighted_degree_decay/1, 7.3.3 gfd_get_default/2, 7.2.2, 7.5.1 gfd_set_default/2, 7.2.2, 7.5.1 gfd_update/0, 7.5.1 global cardinality constraint, 4.1 global constraints, 4.1 global cuts, 10.5 guard, 9.4.1, 9.4.2, 9.5.3, 9.7.2 handler declaration, 9.5.1 ic, 3.1.1 ic:integers/1, 10.4.1 ic_cumulative:cumulative/4, 4.2 ic_cumulative:profile/4, 4.2 ic_event/1 ic_kernel, 3.2.11 | ic_global:alldifferent/1, 4.1 ic_global:alldifferent/2, 4.1 ic_global:sorted/2, 4.1 ic_global:sorted/3, 4.1 ic_global:sumlist/2, 4.1 ic_kernel, 3.2.11, 3.4, 3.4, 3.4.1, 3.4.2 ic_stat/1 ic_kernel, 3.2.11 impose_bounds/3, 3.4.1, 3.4.1, 7.4.2 impose_max/2, 3.4.1 impose_min/2, 3.4.1 in/2 fd_sets, 5.3.1 includes/2 fd_sets, 5.3.3 indomain/1, 5.5 ic, 3.2.5 infers, 8.1 init_weighted_degree/1, 7.3.3 insetdomain/4, 5.5, 5.5 integers/1 ic, 3.2.1 intersection/3, 5.4 fd_sets, 5.3.3 intset/3, 5.2.1 intsets/4, 5.2.1 inverse/2, 4.1 is/2, 3.1.7, 11.5 is_in_domain/2 ic, 3.2.7 is_in_domain/3 ic, 3.2.7 is_solver_type/1, 3.2.7 is_solver_var/1, 3.2.7 label_with declaration, 9.5.1, 9.6, 9.7.1 labeling CHR, 9.6 built-in, 9.6 labeling/1 ic, 3.2.5 lex_le/2, 4.1 lex_lt/2, 4.1 lexico_le/2, 4.1 lib(eplex), 2.4 lib(fd), 2.4 lib(gfd), 2.4 lib(ic), 2.4 lib(suspend), 2.4 library chr.pl, 9, 9.9.6 fd_sets, 5, 5.6 ic, 3, 3.4.2 ic_symbolic, 6, 6.5 library(ic_global), 4.1 library(ic_global_gac), 4.1 lin, 3.2.10 linear programming, interface to, 10, 10.11.3 list constraints, 9.3 local search, 11.1 locate/2, 3.2.10 locate/2, 3.2.6 ic, 3.2.6 locate/3, 3.2.10 locate/3, 3.2.6, 3.2.6 ic, 3.2.6 locate/4, 3.2.10 ic, 3.2.6 log, 3.2.10 lp_add/3, 10.4.2 lp_add_columns/2, 10.4.5 lp_add_constraints/3, 10.4.2 lp_add_constraints/4, 10.4.5 lp_add_cutpool_constraints/4, 10.5.2 lp_add_vars/2, 10.4.2 lp_cleanup/1, 10.4.7 lp_demon_setup/5, 10.4.1, 10.4.1 lp_get/2, 10.11.3, 10.11.3, 10.11.3, 10.11.3 lp_get/3, 10.4.4, 10.5.1, 10.5.2, 10.5.2, 10.5.2, 10.11.3, 10.11.3, 10.11.3 lp_read/3, 10.4.8 lp_set/2, 10.11.3, 10.11.3 lp_set/3, 10.4.6, 10.5.2, 10.11.3, 10.11.3 lp_setup/4, 10.4.1 lp_solve/2, 10.4.3 lp_var_get/4, 10.4.4 lp_var_get_bounds/4, 10.4.4 lp_var_set_bounds/4, 10.4.2 lp_write/3, 10.4.8, 10.5.2 mathematical programming, interface to, 10, 10.11.3 max_regret_lwb/2, 7.3.2 max_regret_upb/2, 7.3.2 max_weighted_degree/2, 7.3.2 max_weighted_degree_per_value/2, 7.3.2 membership_booleans/2 fd_sets, 5.3.1 minmax constraints, 9.3 mixed integer programming, interface to, 10, 10.11.3 most, 8.2 most_constrained_per_value/2, 7.3.2 neg/1, 3.1.2, 3.2.3 nodbgcomp, 9.5.3, 9.7, 9.8.1 normalise_cstrs/3, 10.4.8 notin/2 fd_sets, 5.3.1 occurrences/3, 4.1 occurrences/3, 4.1 operator declaration, 9.5.1 options chr, 9.5.3 or/2, 3.1.2, 3.2.3 ordered/2, 4.1 ordered/2, 4.1 ordered_sum/2, 4.1 ordered_sum/2, 4.1 Precision, 3.2.10 Propia, 8 poss_conflict_vars/2, 11.4 potential_members/2, 5.2.3 profile/4, 4.2 propagation, 3.2.9, 11.6.1 propagation rule, 9.4.1 propositional logic, 8.2, 9.3 quadratic programming, interface to, 10, 10.11.3 r_conflict/2, 11.3 r_conflict/2, 11.3, 11.3, 11.3 r_conflict_prop/2, 11.3 r_conflict_prop/2, 11.3 reals/1, 10.2.4, 10.4.1, 10.5.1 ic, 3.2.1 reduced_cost_pruning/2, 10.4.4 repair, 11.1 repair/1, 11.6.2 resource allocation, 8.2 rotate/3 ic_symbolic, 6.2 same/2, 4.1 sameset/2 fd_sets, 5.3.3 scheduling, 8.2 search/6 ic, 3.2.5 select_var/5, 7.3.3 sequence/4, 4.1 sequence/5, 4.1 set constraints, 9.3 set_range/3, 5.2.3 set_threshold/1 ic, 3.2.8 set_threshold/2, 3.2.8 ic, 3.2.8 set_var_type/2, 3.4.1 set_vars_type/2, 3.4.1 set_weighted_degree_decay/1, 7.3.3 shift/2 ic_symbolic, 6.2 simpagation rule, 9.4.1 simplex solver, interface to, 10, 10.11.3 simplification rule, 9.4.1 solver_constraints_number/1, 7.2.3 solver_vars_number/1, 7.2.3 sorted/2, 4.1 sorted/3, 4.1 squash, 3.2.10, 3.2.10 squash/3, 3.2.10 ic, 3.2.6 subset/2 fd_sets, 5.3.3 sumlist/2, 4.1 suspend/3, 3.4.2 suspension list ga_chg, 11.5 symbol_domain_index/3, 6.4 symdiff/2 fd_sets, 5.3.3 Tentative Values, 11.2 temporal constraints, 9.3 tenable, 11.2.2 tent_call/3, 11.5 tent_call/3, 11.5 tent_get/2, 11.2.6 tent_is/2, 11.5 tent_is/2, 11.5 tent_set/2, 11.2.6 tentative assignment, 11.2.3 term constraints, 9.3 terminological constraints, 9.3 tree constraints, 9.3 unification eplex variables, 10.6 union/2 fd_sets, 5.3.3 union/3, 5.4 unique, 8.3 violation, 11.3 wake/0, 3.4.1, 7.4.2 weight/3, 5.3.5 XPRESS-MP, 10.11