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 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