anfelbar/mozart2-library — pull request #12 by carealejo (2013-05-15 15:59:55+00:00)
Title: Factorized constrain posting functions. 

- Any given constraint is posted using a record. The correct builtin is called according with the record number of arguments.
- Supported dom, distinct and arithmetic propagators.