Hello,
Is it planned to extend the clpfd library to deal with reifiable
constraints and '#<=>'/3?
All the best,
--
==============================================================
Fernando Saenz Perez
Profesor Titular de Universidad / Associate Professor
Home Page:
http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947547
Despacho / Office: 435 (4ª planta / 4th floor)
Dept. Ingenieria del Software e Inteligencia Artificial /
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informatica
C/Profesor Jose Garcia Santesmases, s/n
E - 28040 Madrid. Spain
==============================================================