# Constraints available for the finite-domain solvers

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
\$= / 2 ic 1
\$=< / 2 ic 1
\$> / 2 ic 1
\$>= / 2 ic 1
\$\= / 2 ic 1
:: / 2 ic 1 fd 1 gfd 1
:: / 3 ic 1 fd 1 gfd 1
< / 2 ic 1
< / 3 ic 1
<=> / 2     gfd 1
<=> / 3     gfd 1 equivalent
=:= / 2 ic 1
=:= / 3 ic 1
=< / 2 ic 1
=< / 3 ic 1
=> / 2 ic 1   gfd 1
=> / 3 ic 1   gfd 1 imply
=\= / 2 ic 1
=\= / 3 ic 1
> / 2 ic 1
> / 3 ic 1
>= / 2 ic 1
>= / 3 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     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
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     gfd 1 in_relation
table / 3     gfd 1 in_relation
xor / 2     gfd 1
xor / 3     gfd 1 xor