Constraint Programming and Combinatorial Optimisation in Numberjack

Emmanuel Hébrard (1) , O'Mahony Eoin (2) , O'Sullivan Barry (2)

1 LAAS-MOGISA
2 4C UCC - Cork Constraint Computation Centre

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.

Mots clés: Constraint Programming; Tools

Domaines: Intelligence artificielle [cs.AI]

Emmanuel Hébrard, O'Mahony Eoin, O'Sullivan Barry. Constraint Programming and Combinatorial Optimisation in Numberjack. CPAIOR, Jun 2010, Bologna, Italy. pp.181-185. ⟨hal-00561698⟩