[ Reference Manual | Alphabetic Index ]

library(fzn_ic)

Mapping from FlatZinc to lib(ic) and lib(ic_sets)

Predicates

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

Reexports

reexport cumulative / 4 from ic_edge_finder
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.

About

See Also

library(flatzinc), library(ic), library(ic_sets), library(ic_global), library(propia), library(branch_and_bound)
Generated from fzn_ic.eci on 2009-02-24 09:45