# Hakank

All the constraints that are currently defined in hakank's constraints_utils.jl:

`increasing`

:`Increasing`

`decreasing`

:`Decreasing`

`increasing_strict`

:`Strictly(Increasing)`

`decreasing_strict`

:`Strictly(Decreasing)`

`all_different_except_c`

:`AllDifferentExceptConstants`

`count_ctr`

:`Count`

(except for operators)`count_ctr2`

:`CountDistinct`

(except for operators)`global_cardinality_count`

:`Count`

`either_eq`

:`Disjunction`

`is_member_of`

:`Domain`

and`Membership`

`cumulative`

:`CumulativeResource`

and`CumulativeResourceWithDeadline`

`circuit`

:`Circuit`

and`WeightedCircuit`

`circuit_path`

:`CircuitPath`

and`WeightedCircuitPath`

`inverse`

:`Inverse`

`assignment`

:`Inverse`

`assignment_ctr`

: not yet`matrix_element`

:`Element`

, but to generalise to more than one dimension`regular`

: not yet (no representation of finite automata in Julia)`atmost`

:`Count`

with`LessThan`

`atleast`

:`Count`

with`GreaterThan`

`exactly`

:`Count`

`latin_square`

:`AllDifferent`

`no_overlap`

: not yet (no representation of intervals)`global_contiguity_regular`

:`Contiguity`

`lex_less_eq`

:`LexicographicallyLessThan`

`among`

:`Count`

Functions: TODO