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
- 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_var_float_element
- float_abs
- float_acos
- float_acosh
- float_asin
- float_asinh
- float_atan
- float_atanh
- float_cos
- float_cosh
- float_div
- float_eq
- float_eq_reif
- float_exp
- 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_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. FlatZinc builtins added in MiniZinc 2.7.1.
- 4.2.3.13. Deprecated FlatZinc builtins