Constraint Programming and Combinatorial Optimisation in Numberjack
Résumé
Python benets from a large and active programming com- munity. Numberjack is a modelling package written in Python for embed- ding constraint programming and combinatorial optimisation into larger applications. It has been designed to seamlessly and efficiently support a number of underlying combinatorial solvers. Currently, Numberjack supports three constraint programming solvers, one MIP solver, and one satisability solver -- all available as open-source software. This paper illustrates many of the features of Numberjack through the use of several combinatorial optimisation problems.We also demonstrate a cloud-based congurator built with Numberjack, using services provided by Google to support a user-interface and back-end reasoning capabilities.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |