|
BR4CP - The Case Study |
|
This
case study describes several examples of product descriptions
in Aralia and XCSP 2.1 formats.
You will find the description of the format XCSP 2.1 in this document.
You may have a look to https://www.irit.fr/~Helene.Fargier/TheX264ConfigurationProblem.html, (in french), https://www.irit.fr/~Helene.Fargier/CSPConfig.html (also in french) or to https://www.irit.fr/~Helene.Fargier/BR4CP/ExampleFiles.html (including a digest for the aralia format)
For three of these product (Small, Medium and Big) we also provide (i) selling records over 12 months in .ods, aralia and XCSP 2.1 formats and (ii) princing functions on the aralia and XCSP 2.1 formats.
Other configuration problems can be found at http://www.itu.dk/research/cla/externals/clib/
You will find the description of the format XCSP 2.1 in this document.
You may have a look to https://www.irit.fr/~Helene.Fargier/TheX264ConfigurationProblem.html, (in french), https://www.irit.fr/~Helene.Fargier/CSPConfig.html (also in french) or to https://www.irit.fr/~Helene.Fargier/BR4CP/ExampleFiles.html (including a digest for the aralia format)
For three of these product (Small, Medium and Big) we also provide (i) selling records over 12 months in .ods, aralia and XCSP 2.1 formats and (ii) princing functions on the aralia and XCSP 2.1 formats.
Other configuration problems can be found at http://www.itu.dk/research/cla/externals/clib/
Product descriptions (version 0.1)
| .XCSP 2.1 | Aralia | |
| Small |
small.xml |
small.txt |
| Medium (also called X95) |
medium.xml |
medium.txt |
| Big ( also called large or X62) |
big.xml |
big.txt |
| Megane (X64) |
megane.xml |
all.lp |
| Master (X264) |
master.xml |
all2.lp |
| Souffleuse |
Pricing functions (version 0.1)
| .XCSP 2.1 | Aralia | |
| Small |
smallPrices.xml |
small_prices.txt |
| Medium (also called X95) |
mediumPrices.xml |
medium_prices.txt |
| Big ( also called large or X62) |
bigPrices.xml |
big_prices.txt |
Histories (version 0.1 !)
Notice that the histories consider only a subset of the variables. When a lines (a car) appears twice, the numbers of occurences have to be summed.
| .XCSP 2.1 | Aralia | .ods | |
| Small |
smallHistory.xml |
Small_History.txt |
smallHistory.ods |
| Medium (also called X95) |
MediumHist.xml |
Medium_History.txt |
Medium_History.ods |
| Big ( also called large or X62) |
big_History.xml |
big_History.txt |
big_History.ods |
Contact : H. Fargier
IRIT-Bureau 306
Université
Paul Sabatier
118 Route de Narbonne, 31062 Toulouse Cedex 04
Tél: (33) 05 61 55 82 97 Fax: (33) 05 61 55 62 39
fargier@irit.fr