[ 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/07/16 09:11:24 $
Generated from fzn_eplex.eci on 2022-09-03 14:26