• Aucun résultat trouvé

ECLiPSeELearning HelmutSimonis Chapter2:FirstSteps

N/A
N/A
Protected

Academic year: 2021

Partager "ECLiPSeELearning HelmutSimonis Chapter2:FirstSteps"

Copied!
9
0
0

Texte intégral

(1)

Chapter 2: First Steps

Helmut Simonis

Cork Constraint Computation Centre Computer Science Department

University College Cork

Ireland

(2)

Installing ECLiPSe Installing Saros Writing a first program Running the program Where to find information

Licence

This work is licensed under the Creative Commons

Attribution-Noncommercial-Share Alike 3.0 Unported License.

To view a copy of this license, visit http:

//creativecommons.org/licenses/by-nc-sa/3.0/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA.

Helmut Simonis First Steps 2

(3)

Outline

1 Installing ECLiPSe

2 Installing Saros

3 Writing a first program

4 Running the program

(4)

Installing ECLiPSe Installing Saros Writing a first program Running the program Where to find information

What we want to introduce

How to install ECLiPSe Installing Saros

Writing a first program Running the program Where to find information

Helmut Simonis First Steps 4

(5)

Outline

1 Installing ECLiPSe

2 Installing Saros

3 Writing a first program

4 Running the program

(6)

Installing ECLiPSe Installing Saros Writing a first program Running the program Where to find information

Outline

1 Installing ECLiPSe

2 Installing Saros

3 Writing a first program

4 Running the program

5 Where to find information

Helmut Simonis First Steps 6

(7)

Outline

1 Installing ECLiPSe

2 Installing Saros

3 Writing a first program

4 Running the program

(8)

Installing ECLiPSe Installing Saros Writing a first program Running the program Where to find information

Outline

1 Installing ECLiPSe

2 Installing Saros

3 Writing a first program

4 Running the program

5 Where to find information

Helmut Simonis First Steps 8

(9)

Outline

1 Installing ECLiPSe

2 Installing Saros

3 Writing a first program

4 Running the program

Références

Documents relatifs

Decide when and where this game is played, values range over combinations of days and locations (7*7=49 values) All variables must be different (no two games at same time and

All guest boats assigned to a host in a time period fit within spare capacity of host boat.. Problem

A Costas array (named after John P. Costas) can be regarded geometrically as a set of N points lying on the squares of a NxN checkerboard, such that each row or column contains only

Large scale applications can be built with ECLiPSe Software engineering is not that different for Prolog Many tasks are similar regardless of solver used. Correctness of program

//creativecommons.org/licenses/by-nc-sa/3.0/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA. Helmut Simonis

Finite set variables useful when values are sets of integers Useful when number of items assigned are unknown Can be linked with finite domains (cardinality) and 0/1 index

Use normal state as starting point Consider routing in each failure case Aggregate flows in rerouted network Calculate bounds on traffic in failure

gcc constraint to control number of items with same type 5 × 100 0/1 variables indicating use of option for each slot element constraints to map car types to options used