Subscribe to the newsletter

Newsletter archives :
01- 02 - 03 - 04 - 05

 


 

Artelys Kalis - New features

Release 2008 of Xpress-Kalis

The release Xpress-Kalis 2008 experienced a significant step forward with the development of new features for extension.

Extensions

tailored constraints,

tailored specific search heuristics,

tailored heuristics for selection of variables,

tailored solving strategies.

An original and innovative breakthrough

One can now enrich Xpress-Kalis oneself by creating new constraints and heuristics. This tailored library is integrated into the default library in a transparent manner and becomes directly available in the Mosel language: the specific constraints are used in the same way as the standard constraints.

This expansion function is particularly interesting for the development of advanced models that require the use of complex patterns of constraints propagation. Rather than limiting the user to an array of standard modelling possibilities, Xpress-Kalis allows to design and implement one's own constraints and heuristics in order to take into account the specificity of the problem and improve the solving performance.

Release 2007.2 of Xpress-Kalis

The following improvements have been made in Xpress-Kalis concerning:

Scheduling functionalities:

The user has now access to optional resource consumption / requirement / production / provision, which is very useful when the allocations of resources to the tasks are variables of the problem.

A finer tuning of constraints propagation is now allowed thanks to new parameters in set_resource_attributes.

Search limits can now be better specified in the cp_schedule search process (NODES, BACKTRACKS, SOLUTIONS, TIME, MAX_NODES_BETWEEN_SOLUTIONS).

The new method cp_set_schedule_search_strategy allows to specify search strategy for both heuristic solution pass and bound improving/optimal solution pass.

More generally:

Performances have been improved for variable selector, reducing the solving time on problems with a large number of variables.

A new control parameter, "max_nodes_between_solutions", has been added, putting a limit on the number of nodes explored since the last solution without finding a new solution.

The new control parameter "verbose_level" allows the user to control the details given in the log.

Callbacks functions can now be resetted (ex: set_node_callback("")).


Contact

For more information about Artelys Kalis, please contact us at:
Tel: +33 1 44 77 89 00
E-mail: info-kalis@artelys.com

 

 

 

ARTELYS KALIS

XPRESS-KALIS

FUNCTIONALITIES

NEW FEATURES

ENVIRONMENTS AND PLATFORMS

EXAMPLES

CONSTRAINT PROGRAMMING

ACADEMIC PARTNERSHIP

DOWNLOAD

TRAINING

 
   

HOME I NEWS I COMPANY I SERVICES I CAREERS I SITE MAP I CONTACT I FRANÇAIS

© Artelys SA 2000-2010, all rights reserved - Terms of use