next up previous index
Next: Functionality Up: FDPLEX: A Hybrid Finite Previous: Motivation   Index

Usage

Many programs written for lib(fd) should run unchanged with lib(fdplex). The library is loaded using

:- lib(fdplex).
This will automatically load both the fd and the eplex library as well.

Note that this library is provided as source code. It really implements only one example of a solver cooperation. It is expected that users will modify the library to suit the special needs of the particular application.



Warwick Harvey
2004-08-07