| Constraint | ic | fd | gfd | Global Constraint Catalog |
|---|---|---|---|---|
| # / 3 | fd 1 | |||
| ## / 2 | fd 1 | |||
| ## / 3 | fd 1 | |||
| #/\ / 2 | fd 1 | |||
| #/\ / 3 | fd 1 | |||
| #:: / 2 | ic 1 | fd 1 | gfd 1 | |
| #:: / 3 | ic 1 | fd 1 | gfd 1 | |
| #< / 2 | ic 1 | fd 1 | gfd 1 | lt |
| #< / 3 | ic 1 | fd 1 | gfd 1 | |
| #<= / 2 | fd 1 | |||
| #<= / 3 | fd 1 | |||
| #<=> / 2 | fd 1 | |||
| #<=> / 3 | fd 1 | |||
| #= / 2 | ic 1 | fd 1 | gfd 1 | eq |
| #= / 3 | ic 1 | fd 1 | gfd 1 | |
| #=< / 2 | ic 1 | gfd 1 | leq | |
| #=< / 3 | ic 1 | gfd 1 | ||
| #=> / 2 | fd 1 | |||
| #=> / 3 | fd 1 | |||
| #> / 2 | ic 1 | fd 1 | gfd 1 | gt |
| #> / 3 | ic 1 | fd 1 | gfd 1 | |
| #>= / 2 | ic 1 | fd 1 | gfd 1 | geq |
| #>= / 3 | ic 1 | fd 1 | gfd 1 | |
| #\+ / 1 | fd 1 | |||
| #\+ / 2 | fd 1 | |||
| #\/ / 2 | fd 1 | |||
| #\/ / 3 | fd 1 | |||
| #\= / 2 | ic 1 | fd 1 | gfd 1 | neq |
| #\= / 3 | ic 1 | fd 1 | gfd 1 | |
| $:: / 2 | ic 1 | |||
| $:: / 3 | ic 1 | |||
| $< / 2 | ic 1 | |||
| $< / 3 | ic 1 | |||
| $= / 2 | ic 1 | |||
| $= / 3 | ic 1 | |||
| $=< / 2 | ic 1 | |||
| $=< / 3 | ic 1 | |||
| $> / 2 | ic 1 | |||
| $> / 3 | ic 1 | |||
| $>= / 2 | ic 1 | |||
| $>= / 3 | ic 1 | |||
| $\= / 2 | ic 1 | |||
| $\= / 3 | ic 1 | |||
| :: / 2 | ic 1 | fd 1 | gfd 1 | |
| :: / 3 | ic 1 | fd 1 | gfd 1 | |
| < / 2 | ic 1 | |||
| <=> / 2 | ic 1 | gfd 1 | ||
| <=> / 3 | ic 1 | gfd 1 | equivalent | |
| =:= / 2 | ic 1 | |||
| =< / 2 | ic 1 | |||
| => / 2 | ic 1 | gfd 1 | ||
| => / 3 | ic 1 | gfd 1 | imply | |
| =\= / 2 | ic 1 | |||
| > / 2 | ic 1 | |||
| >= / 2 | ic 1 | |||
| ac_eq / 3 | ic 1 | |||
| all_eq / 2 | gfd 1 | arith | ||
| all_ge / 2 | gfd 1 | arith | ||
| all_gt / 2 | gfd 1 | arith | ||
| all_le / 2 | gfd 1 | arith | ||
| all_lt / 2 | gfd 1 | arith | ||
| all_ne / 2 | gfd 1 | arith | ||
| alldifferent / 1 | ic 1 2 3 | fd 1 2 3 | gfd 1 | alldifferent |
| alldifferent / 2 | ic 1 | fd 1 | ||
| alldifferent_cst / 2 | ic 1 | gfd 1 | alldifferent_cst | |
| alldifferent_matrix / 1 | ic 1 | fd 1 | ||
| alldistinct / 1 | fd 1 | |||
| among / 4 | gfd 1 | counts | ||
| and / 2 | ic 1 | gfd 1 | ||
| and / 3 | ic 1 | gfd 1 | and | |
| atleast / 3 | ic 1 | fd 1 | gfd 1 | atleast |
| atmost / 3 | ic 1 | fd 1 2 | gfd 1 | atmost |
| bin_packing / 3 | ic 1 | fd 1 | gfd 1 | bin_packing_capa |
| bin_packing / 4 | ic 1 | fd 1 | gfd 1 | bin_packing |
| bin_packing_g / 3 | gfd 1 | bin_packing | ||
| bin_packing_md / 3 | gfd 1 | |||
| bin_packing_md / 4 | gfd 1 | |||
| bool_channeling / 3 | ic 1 | fd 1 | gfd 1 | domain_constraint |
| circuit / 1 | ic 1 | gfd 1 | circuit | |
| circuit / 3 | gfd 1 | |||
| circuit / 4 | gfd 1 | |||
| circuit_g / 1 | gfd 1 | circuit | ||
| circuit_g / 3 | gfd 1 | |||
| circuit_g / 4 | gfd 1 | |||
| circuit_offset / 2 | gfd 1 | |||
| circuit_offset / 4 | gfd 1 | |||
| circuit_offset / 5 | gfd 1 | |||
| circuit_offset_g / 2 | gfd 1 | |||
| circuit_offset_g / 4 | gfd 1 | |||
| circuit_offset_g / 5 | gfd 1 | |||
| count / 4 | gfd 1 | count | ||
| count_matches / 4 | gfd 1 | |||
| cumulative / 4 | ic 1 2 3 | fd 1 2 3 | gfd 1 | cumulative |
| cumulative / 5 | ic 1 2 | fd 1 2 | ||
| cumulative_optional / 5 | gfd 1 | |||
| cumulatives / 5 | gfd 1 | cumulatives | ||
| cumulatives_g / 5 | gfd 1 | cumulatives | ||
| cumulatives_min / 5 | gfd 1 | cumulatives | ||
| cumulatives_min_g / 5 | gfd 1 | cumulatives | ||
| disjoint2 / 1 | gfd 1 | diffn | ||
| disjoint2_optional / 1 | gfd 1 | |||
| disjunction / 5 | fd 1 | |||
| disjunction_choose / 5 | fd 1 | |||
| disjunctive / 2 | ic 1 2 | fd 1 2 | gfd 1 | disjunctive |
| disjunctive / 3 | fd 1 | |||
| disjunctive_bools / 3 | ic 1 2 | fd 1 2 | ||
| disjunctive_optional / 3 | gfd 1 | |||
| divmod / 4 | gfd 1 | |||
| element / 3 | ic 1 | fd 1 | gfd 1 | element |
| element_g / 3 | gfd 1 | element | ||
| extensional / 4 | gfd 1 | |||
| gcc / 2 | ic 1 | fd 1 | gfd 1 | global_cardinality global_cardinality_low_up |
| gcc_matrix / 3 | ic 1 | fd 1 | ||
| ham_path / 3 | gfd 1 | |||
| ham_path / 5 | gfd 1 | |||
| ham_path / 6 | gfd 1 | |||
| ham_path_g / 3 | gfd 1 | |||
| ham_path_g / 5 | gfd 1 | |||
| ham_path_g / 6 | gfd 1 | |||
| ham_path_offset / 4 | gfd 1 | |||
| ham_path_offset / 6 | gfd 1 | |||
| ham_path_offset / 7 | gfd 1 | |||
| ham_path_offset_g / 4 | gfd 1 | |||
| ham_path_offset_g / 6 | gfd 1 | |||
| ham_path_offset_g / 7 | gfd 1 | |||
| integers / 1 | ic 1 | fd 1 | gfd 1 | |
| inverse / 2 | ic 1 2 | fd 1 2 | gfd 1 | inverse |
| inverse / 4 | gfd 1 | inverse_offset | ||
| inverse_g / 2 | gfd 1 | inverse | ||
| inverse_g / 4 | gfd 1 | inverse_offset | ||
| isd / 2 | fd 1 | |||
| lex_eq / 2 | gfd 1 | lex_equal | ||
| lex_ge / 2 | gfd 1 | lex_greatereq | ||
| lex_gt / 2 | gfd 1 | lex_greater | ||
| lex_le / 2 | ic 1 2 | fd 1 2 | gfd 1 | lex_leq |
| lex_lt / 2 | ic 1 2 | fd 1 2 | gfd 1 | lex_less |
| lex_ne / 2 | gfd 1 | lex_different | ||
| max / 2 | ic 1 | gfd 1 | maximum | |
| max_first_index / 2 | gfd 1 | max_index | ||
| max_first_index_g / 2 | gfd 1 | max_index | ||
| max_index / 2 | gfd 1 | max_index | ||
| max_index_g / 2 | gfd 1 | max_index | ||
| maxlist / 2 | ic 1 2 | fd 1 | ||
| mddc / 2 | ic 1 | fd 1 | ||
| mem / 2 | gfd 1 | |||
| mem / 3 | gfd 1 | |||
| min / 2 | ic 1 | gfd 1 | minimum | |
| min_first_index / 2 | gfd 1 | min_index | ||
| min_first_index_g / 2 | gfd 1 | min_index | ||
| min_index / 2 | gfd 1 | min_index | ||
| min_index_g / 2 | gfd 1 | min_index | ||
| minlist / 2 | ic 1 2 | fd 1 | ||
| neg / 1 | ic 1 | gfd 1 | ||
| neg / 2 | ic 1 | gfd 1 | ||
| nvalue / 2 | ic 1 | fd 1 | ||
| nvalues / 3 | gfd 1 | nvalues | ||
| occurrences / 3 | ic 1 | fd 1 | gfd 1 | exactly |
| or / 2 | gfd 1 | |||
| or / 3 | ic 1 | gfd 1 | or | |
| ordered / 2 | ic 1 | fd 1 | gfd 1 | strictly_increasing increasing strictly_decreasing decreasing all_equal not_all_equal |
| ordered_sum / 2 | ic 1 | fd 1 | ||
| piecewise_linear / 3 | ic 1 | |||
| precede / 2 | gfd 1 | int_value_precede_chain | ||
| precede / 3 | gfd 1 | int_value_precede | ||
| profile / 4 | ic 1 | fd 1 | ||
| reals / 1 | ic 1 | |||
| regular / 2 | gfd 1 | |||
| same / 2 | ic 1 | fd 1 | same | |
| scalar_product / 4 | gfd 1 | scalar_product | ||
| scalar_product / 5 | gfd 1 | |||
| sequence / 4 | ic 1 | fd 1 | gfd 1 | among_seq |
| sequence / 5 | ic 1 | fd 1 | gfd 1 | among_seq |
| sorted / 2 | ic 1 | fd 1 | gfd 1 | sort |
| sorted / 3 | ic 1 | fd 1 | gfd 1 | sort_permutation |
| sorted_g / 3 | gfd 1 | sort_permutation | ||
| sum / 2 | gfd 1 | sum_ctr | ||
| sum / 3 | gfd 1 | sum_ctr | ||
| sum / 4 | gfd 1 | |||
| sumlist / 2 | ic 1 | fd 1 | gfd 1 | sum_ctr |
| table / 2 | ic 1 | fd 1 | gfd 1 | in_relation |
| xor / 2 | gfd 1 | |||
| xor / 3 | gfd 1 | xor |