5. Global Constraint Catalogue
a
- abs_value
- all_differ_from_at_least_k_pos
- all_equal
- all_min_dist
- alldifferent
- alldifferent_between_sets
- alldifferent_consecutive_values
- alldifferent_cst
- alldifferent_except_0
- alldifferent_interval
- alldifferent_modulo
- alldifferent_on_intersection
- alldifferent_partition
- alldifferent_same_value
- allperm
- among
- among_diff_0
- among_interval
- among_low_up
- among_modulo
- among_seq
- among_var
- and
- arith
- arith_or
- arith_sliding
- assign_and_counts
- assign_and_nvalues
- atleast
- atleast_nvalue
- atleast_nvector
- atmost
- atmost1
- atmost_nvalue
- atmost_nvector
c
- calendar
- cardinality_atleast
- cardinality_atmost
- cardinality_atmost_partition
- change
- change_continuity
- change_pair
- change_partition
- circuit
- circuit_cluster
- circular_change
- clause_and
- clause_or
- clique
- colored_matrix
- coloured_cumulative
- coloured_cumulatives
- common
- common_interval
- common_modulo
- common_partition
- cond_lex_cost
- cond_lex_greater
- cond_lex_greatereq
- cond_lex_less
- cond_lex_lesseq
- connect_points
- connected
- consecutive_groups_of_ones
- consecutive_values
- contains_sboxes
- correspondence
- count
- counts
- coveredby_sboxes
- covers_sboxes
- crossing
- cumulative
- cumulative_convex
- cumulative_product
- cumulative_two_d
- cumulative_with_level_of_priority
- cumulatives
- cutset
- cycle
- cycle_card_on_path
- cycle_or_accessibility
- cycle_resource
- cyclic_change
- cyclic_change_joker
i
- imply
- in
- in_interval
- in_interval_reified
- in_intervals
- in_relation
- in_same_partition
- in_set
- increasing
- increasing_global_cardinality
- increasing_nvalue
- increasing_nvalue_chain
- indexed_sum
- inflexion
- inside_sboxes
- int_value_precede
- int_value_precede_chain
- interval_and_count
- interval_and_sum
- inverse
- inverse_offset
- inverse_set
- inverse_within_range
- ith_pos_different_from_0
o
- open_alldifferent
- open_among
- open_atleast
- open_atmost
- open_global_cardinality
- open_global_cardinality_low_up
- open_maximum
- open_minimum
- opposite_sign
- or
- orchard
- ordered_atleast_nvector
- ordered_atmost_nvector
- ordered_global_cardinality
- ordered_nvector
- orth_link_ori_siz_end
- orth_on_the_ground
- orth_on_top_of_orth
- orths_are_connected
- overlap_sboxes
s
- same
- same_and_global_cardinality
- same_and_global_cardinality_low_up
- same_intersection
- same_interval
- same_modulo
- same_partition
- same_sign
- scalar_product
- sequence_folding
- set_value_precede
- shift
- size_max_seq_alldifferent
- size_max_starting_seq_alldifferent
- sliding_card_skip0
- sliding_distribution
- sliding_sum
- sliding_time_window
- sliding_time_window_from_start
- sliding_time_window_sum
- smooth
- soft_all_equal_max_var
- soft_all_equal_min_ctr
- soft_all_equal_min_var
- soft_alldifferent_ctr
- soft_alldifferent_var
- soft_cumulative
- soft_same_interval_var
- soft_same_modulo_var
- soft_same_partition_var
- soft_same_var
- soft_used_by_interval_var
- soft_used_by_modulo_var
- soft_used_by_partition_var
- soft_used_by_var
- sort
- sort_permutation
- stable_compatibility
- stage_element
- stretch_circuit
- stretch_path
- stretch_path_partition
- strict_lex2
- strictly_decreasing
- strictly_increasing
- strongly_connected
- subgraph_isomorphism
- sum
- sum_ctr
- sum_free
- sum_of_weights_of_distinct_values
- sum_set
- symmetric
- symmetric_alldifferent
- symmetric_cardinality
- symmetric_gcc