4.2.3. FlatZinc builtins
These are the standard constraints that need to be supported by FlatZinc solvers (or redefined in the redefinitions.mzn file).
- 4.2.3.1. Integer FlatZinc builtins
- array_int_element
- array_int_maximum
- array_int_minimum
- array_var_int_element
- int_abs
- int_div
- int_eq
- int_eq_reif
- int_le
- int_le_reif
- int_lin_eq
- int_lin_eq_reif
- int_lin_le
- int_lin_le_reif
- int_lin_ne
- int_lin_ne_reif
- int_lt
- int_lt_reif
- int_max
- int_min
- int_mod
- int_ne
- int_ne_reif
- int_plus
- int_pow
- int_times
- set_in
- 4.2.3.2. Bool FlatZinc builtins
- 4.2.3.3. Set FlatZinc builtins
- 4.2.3.4. Float FlatZinc builtins
- array_float_element
- array_float_maximum
- array_float_minimum
- array_var_float_element
- float_abs
- float_acos
- float_acosh
- float_asin
- float_asinh
- float_atan
- float_atanh
- float_ceil
- float_cos
- float_cosh
- float_div
- float_dom
- float_eq
- float_eq_reif
- float_exp
- float_floor
- float_in
- float_in_reif
- float_le
- float_le_reif
- float_lin_eq
- float_lin_eq_reif
- float_lin_le
- float_lin_le_reif
- float_lin_lt
- float_lin_lt_reif
- float_lin_ne
- float_lin_ne_reif
- float_ln
- float_log10
- float_log2
- float_lt
- float_lt_reif
- float_max
- float_min
- float_ne
- float_ne_reif
- float_plus
- float_pow
- float_round
- float_sin
- float_sinh
- float_sqrt
- float_tan
- float_tanh
- float_times
- int2float
- 4.2.3.5. FlatZinc builtins added in MiniZinc 2.0.0.
- 4.2.3.6. FlatZinc builtins added in MiniZinc 2.0.2.
- 4.2.3.7. FlatZinc builtins added in MiniZinc 2.1.0.
- 4.2.3.8. FlatZinc builtins added in MiniZinc 2.1.1.
- 4.2.3.9. FlatZinc builtins added in MiniZinc 2.2.1.
- 4.2.3.10. FlatZinc builtins added in MiniZinc 2.3.3.
- 4.2.3.11. FlatZinc builtins added in MiniZinc 2.5.2.
- 4.2.3.12. Deprecated FlatZinc builtins