Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming [chapter]

Kish Shen, Joachim Schimpf
2005 Lecture Notes in Computer Science  
The eplex library of the ECL i PS 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. :-lib(eplex). model1([X,Y], X) :-X $= Y + 1, integers([X]),
doi:10.1007/11564751_46 fatcat:cihsg3zlvvesrp7kxhqmbi7og4