lib(fzn_fd)


This module defines a mapping from FlatZinc operations to lib(fd),
lib(fd_sets) and lib(fd_global), and is intended to be used in
conjunction with lib(flatzinc).  It uses lib(propia) to implement
variants of the element constraint that are not supported by lib(fd).
Moreover, lib(branch_and_bound) is used to provide optimization.

This mapping supports bool, integer and set variables.
It does currently not support all constraints in reified form,
in particular set constraints, according to the limitations of
the underlying solvers.

The following extra annotations are supported by this mapping:

annotation strategy(string:s)
    the branch-and-bound strategy (default: "continue"). Valid names
    are "continue", "restart", "dichotomic", See bb_min/3.
annotation delta(float:f)
    minimal absolute improvement for branch-and-bound steps (default 1.0).
    See bb_min/3.
annotation factor(float:f)
    minimal improvement ratio (with respect to the lower cost bound)
    for strategies 'continue' and 'restart' (default 1.0), or split factor
    for strategy 'dichotomic' (default 0.5). See bb_min/3.
annotation timeout(float:f)
    timeout for branch-and-bound in seconds (default: unlimited).
    See bb_min/3.

You must include "eclipse.mzn" in your MiniZinc model to use these
annotations.



