Two type extensions for the constraint modeling language MiniZinc.

Rafael Caballero Peter J. Stuckey Antonio Tenorio-Fornes

Published in: Sci. Comput. Program. (2015)

Keyphrases

modeling language
constraint language
metamodel
design rationale
formal semantics
uml profile
database
databases
business process
constraint networks
control flow
code generation
business process modeling
declarative language
educational modeling languages