A constraint system over real numbers for the mozart system and an interface to the mixed integer linear programming solver LPSOLVE.

This module provides a constraint system over real numbers with a set of basic and non-basic propagators. This constraint system can cooperate with the existing FD module by means of a suplied propagator.

This module provides an interface to a linear programming solver called LP_SOLVE. The idea is to provide the user with a linear programming solver that he/she can use to implement distribution strategies exploiting this well known programming technique. To combine linear programming with propagation based solvers have shown to improve search.

 

Those modules are still in development, your comments, contributions and ports are welcome!. 

Please visit the gna project page for more information.

Last News

Date	Description
11/May/2005	Added Mac OSX installer for the XRI module
11/May/2005	Added Windows installer for the LP module
12/May/2005	Added support for LPSOLVE 5.1

Contact information

There is a mailing list about the xrilp project. To subscribe or unsubscribe please visit xrilpoz-users@gna.org. Feel free to contact us.

Bug report

We have a bug tracking system, if you find a bug please report it. The bug tracking system interface is located here.

License information

The software developed by this project is distributed under LGPL license terms.

Acknowledgements

Initial versions of both modules presented here were made by Tobias Müller and can be found as mozart contributions. The full acknowledgements list can be found here.