Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming

摘要

The eplex library of the ECL~iPS~e Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming techniques within the same unified framework. It provides an interface to state-of-the-art Mathematical Programming solvers, and a set of programming primitives that allow 'hybrid' techniques to be easily expressed. This paper presents these facilities, and discusses some associated implementation issues.