[ Reference Manual | Alphabetic Index ]


Mapping from FlatZinc to lib(ic) and lib(ic_sets)   [more]


No description available
minimize(?, ?, ?)
No description available
sort(?, ?)
No description available
table(?, ?)
No description available


reexport disjoint / 2 from ic_sets


This module defines a mapping from FlatZinc operations to lib(ic), lib(ic_sets) and lib(ic_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(ic). Moreover, lib(branch_and_bound) is used to provide optimization.

This mapping supports bool, integer, float 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.


See Also

library(flatzinc), library(ic), library(ic_sets), library(ic_global), library(propia), library(branch_and_bound)
Generated from fzn_ic.eci on 2022-09-03 14:26