|
Xpress-Kalis
Artelys Kalis has also been associated to Xpress-Mosel,
becoming the new constraint programming component Xpress-Kalis.
The Xpress-Mosel language provides direct access, under Windows
in the IVE development environment, to any extensions developed
by the user: new constraints, new research strategies, and
so on.
The graphic development environment embedded
in Xpress-MP, IVE, allows development and analysis of constraint
programming models thanks to specific displays, including
tree search visualization, statistics, and scheduling problem
specific visualization tools (Gantt charts, resource charts,
etc.).
IVE standard features such as the debugger or
syntax highlighting are also available for Xpress-Kalis:
|
model
"Gardner
10-digit number" uses
"kalis"
declarations
VALUES = 0..9
!
Digits
digit: array(VALUES) of
cpvar ! Decision var.s
end-declarations
! Set variable domains
forall(i
in VALUES) setdomain(digit(i),
VALUES)
digit(0)<>0
!
First digit different from 0
! Cardinality constraint for each digit
forall(i
in VALUES)
occurrence(i, digit) = digit(i)
! Solve the problem and output the solution
if cp_find_next_sol
then
forall(i
in VALUES)
writeln(i, ": ",
getsol(digit(i)))
end-if
end-model
|
You can download here
the specifications of Xpress-Kalis or refer to Dash
Optimization website for more detailed information.
Contact
For more information about Xpress-Kalis, please contact us
at:
•
Tel: +33 1 44 77 89 00
•
E-mail: info-kalis@artelys.com
|
