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
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...