The Mozart constraint subsystem : system presentation

Gutierrez Sabogal, Gustavo Adolfo;Barco, Andres Felipe;Villanueva, Miguel Angel;Cardona, Alejandro;Van Roy, Peter;et.al.
(2013) Workshop on Techniques for Implementing Constraint Programming Systems — Location: Uppsala, Sweden (16.September.2013)

Files

trics2013_submission_5.pdf
  • Restricted Access
  • Adobe PDF
  • 363.29 KB
Request a copy

Details

Authors
  • Gutierrez Sabogal, Gustavo AdolfoUCLouvain
    Author
  • Barco, Andres FelipePonticia Universidad Javeriana-Cali
    Author
  • Villanueva, Miguel AngelUniversidad del Valle
    Author
  • Cardona, AlejandroPonticia Universidad Javeriana-Cali
    Author
  • Van Roy, PeterUCLouvain
    Author
Show more
Abstract
We present the current state of a new implementation of the constraint engine for the Mozart programming system. Our implementation integrates the Gecode constraint library into the core of Mozart version 2.0. Doing so, we allow users to take advantage of the eciency of Gecode propagators transparently by maintaining the existing language constraints abstractions. Future Mozart systems can thus benet from the rapid pace of constraint solving optimizations that are included in each new Gecode version. We use two well-known puzzles to illustrate the system and present all available abstractions
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Gutierrez Sabogal, G. A., Barco, A. F., Villanueva, M. A., Cardona, A., Montenegro, D., Miller, S., Di­az, J. F., Rueda, C., & Van Roy, P. (2013). The Mozart constraint subsystem : system presentation. Workshop on Techniques for Implementing Constraint Programming Systems, Uppsala, Sweden. https://hdl.handle.net/2078.5/40608