[ Reference Manual | Alphabetic Index ]
Mapping from FlatZinc to lib(eplex)
This module defines a mapping from FlatZinc operations to lib(eplex)
and is intended to be used in conjunction with lib(flatzinc).
TODO: Add a mapping for sets as array of booleans.
Add an appropriate globals.mzn.
- Author: Joachim Schimpf, supported by Cisco Systems and NICTA Victoria
- Copyright © Cisco Systems Inc, licensed under CMPL
- Date: $Date: 2009/02/19 06:13:02 $
Generated from fzn_eplex.eci on 2009-02-24 09:46