Introduction à la Programmation par Contraintes TP 1. Présentation d’OPL Lionel Eyraud-Dubois

Introduction à la Programmation par
Contraintes
TP 1. Présentation d’OPL
Lionel Eyraud-Dubois
INRIA Bordeaux—Sud-Ouest
2015-2016

Lignes directrices
Vue d’ensemble de logiciels
OPL Development Studio
Lab : problème de production des bandes d’acier

Logiciels disponibles pour résoudre des CSPs
IPayants
IIBM ILOG CP Optimizer, interfaces : C++,Java,
IBM ILOG CPLEX Optimization Studio (OPL).
IArtelys Kalis, interfaces : C++,Java,Xpress-Mosel.
IMicrosoft Solver Foundation, interfaces : CLS-compliant
languages (C++,IronPython, ...) Add-in Designer for Excel
2007.
IComet (gratuit pour un usage académique), interface : un
langage spécial (type C)
IGratuits
IChoco Solver, interface : Java.
IMINION, interfaces : un fichier texte spécial, ESSENSE’.
IGecode, interface : C++.
D’autres sont mentionnés sur Wikipédia (article
« Programmation par contraintes »).

Logiciels disponibles pour résoudre des CSPs
IPayants
IIBM ILOG CP Optimizer, interfaces : C++,Java,
IBM ILOG CPLEX Optimization Studio (OPL).
IArtelys Kalis, interfaces : C++,Java,Xpress-Mosel.
IMicrosoft Solver Foundation, interfaces : CLS-compliant
languages (C++,IronPython, ...) Add-in Designer for Excel
2007.
IComet (gratuit pour un usage académique), interface : un
langage spécial (type C)
IGratuits
IChoco Solver, interface : Java.
IMINION, interfaces : un fichier texte spécial, ESSENSE’.
IGecode, interface : C++.
D’autres sont mentionnés sur Wikipédia (article
« Programmation par contraintes »).

Logiciels disponibles pour résoudre des CSPs
IPayants
IIBM ILOG CP Optimizer, interfaces : C++,Java,
IBM ILOG CPLEX Optimization Studio (OPL).
IArtelys Kalis, interfaces : C++,Java,Xpress-Mosel.
IMicrosoft Solver Foundation, interfaces : CLS-compliant
languages (C++,IronPython, ...) Add-in Designer for Excel
2007.
IComet (gratuit pour un usage académique), interface : un
langage spécial (type C)
IGratuits
IChoco Solver, interface : Java.
IMINION, interfaces : un fichier texte spécial, ESSENSE’.
IGecode, interface : C++.
D’autres sont mentionnés sur Wikipédia (article
« Programmation par contraintes »).