# 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 |  |  |
$< / 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 |  |  | gfd 1 |
<=> / 3 |  |  | 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
table / 3 |  |  | gfd 1 | in_relation
xor / 2 |  |  | gfd 1 |
xor / 3 |  |  | gfd 1 | xor