Information Technology Reference
In-Depth Information
3.12 ILOG Solver
Constraint program is a computing system about constraints. Its input is a group
of constraints and problems to solve and output is the solution scheme. The
algorithms to solve the problem are all basic functions of constraint programming
language. What programmer has to face is how to describe problem as a model
consisting of constraints, and the description language can be very close to
natural language. If the problem is regarded as a kind of constraint, then the
solution is to achieve one or several constraints, each of which is sufficient
condition of given constraints, that is, the obtained constraints should satisfy the
given constraints. Then, constraint programming can be called constraint-
oriented programming method.
ILOG Company established in 1987 and is the French leading provider of
software component suite in optimization, visualization and business rule
management areas. During the past time, ILOG Company was carrying on
development and innovation of enterprise software package and service
constantly and made customers optimize the flexibility of business treatment, and
improved the operation efficiency of these companies. There are more than 1000
global companies and 300 software suppliers using ILOG. With the development
of China's economy, ILOG Company has seen the broad development prospect
of Chinese market and sets up representative office in Beijing in August of 2002,
which commands the market of Greater China region including Hong Kong,
Macao, Taiwan.
Constraint planning is program in computer system based on constraint rule.
The idea of constraint planning is to describe constraints of problem to solve
problem and finally find our a scheme which satisfies all constraints. The key of
realizing planning and scheduling is resource scheduling based on constraint rule
and constraint, and optimizing the plan to reach the goal that you need. ILOG
Solver is used to solve the complicated processes like multiple operations,
multiple resources etc for dispersed manufacturing; solve ordering problem such
as optimizing ordering(Flowshop scheduling) for the manufacturing of repeating
type or procedure type . ILOG Solver is a constraint programming language
which embeds the process-oriented language. It combines object-oriented
programming and constraint logic programming together, includes logic variable
and solves problem through increment-type constraint satisfaction and
backtracking. The main language components are as follows in ILOG Solver:
variables : C ++ object //variable
integer variable CtIntVar
