[ Reference Manual | Alphabetic Index ]library(fzn_ic)
Mapping from FlatZinc to lib(ic) and lib(ic_sets)
[more]
Predicates
- all_disjoint(?)
- No description available
- minimize(?, ?, ?)
- No description available
- sort(?, ?)
- No description available
- table(?, ?)
- No description available
Reexports
- reexport disjoint / 2 from ic_sets
Description
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.
About
- Author: Joachim Schimpf, supported by Cisco Systems and NICTA Victoria
- Copyright © Cisco Systems Inc, licensed under CMPL
- Date: $Date: 2016/07/24 19:34:45 $
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