|
June 14th, 2007
Release of Artelys Kalis C++ 2007B
Artelys announces the release of the 2007B
version of the constraint satisfaction programming component
Artelys Kalis.
Artelys
Kalis now includes dedicated high-level functionalities
to ease the formulation and solving of scheduling problems:
•
New constraint relations representing disjunctive and cumulative
resource constraints have been introduced;
•
Predefined objects such as tasks and resources provide high-level
modeling support for many scheduling situations;
•
For solving scheduling problems, the user has the choice between
efficient predefined or configurable branching strategies
reasoning on the scheduling objects, and the implementation
of his own search heuristics.
Artelys
Kalis now also handles continuous variables and arithmetic
(linear and non-linear) constraints over continuous and discrete
variables.
More
information about Artelys Kalis
Back
to news
|
