[ Reference Manual | Alphabetic Index ]

library(fzn_fd)

Mapping from FlatZinc to lib(fd) and lib(fd_sets)

Predicates

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

Reexports

reexport cumulative / 4 from edge_finder
reexport disjoint / 2 from fd_sets

Description

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.

About

See Also

library(flatzinc), library(fd), library(fd_sets), library(fd_global), library(propia), library(branch_and_bound)
Generated from fzn_fd.eci on 2009-02-24 09:45