Re: [eclipse-clp-users] ECLiPSe features for interactive configuration

Hi,

Matthieu Queva wrote:
> Hi,
> 
> I am interested in constraint solvers and product configuration, 
> and I would like to know whether ECLiPSe possesses features to allow 
> interactive constraint solving. 

I am not quite sure what you mean by `interactive constraint solving'.
ECLiPSe is a programming language (rather than just a `constraint 
solver'), so you can write programs to do what you require.

If you mean some sort of real time interaction with the user, where the 
user can add constraints to the problem, then ECLiPSe does not provide 
any `ready-made' tools for you to enter constraints interactively, i.e. 
you need to program it to do so, and ECLiPSe itself may not be the best 
language to do this sort of GUI application. However, ECLiPSe does have 
interfaces to languages which are more suitable for this, like Java and 
Tcl/Tk.

>I am also interested in knowing whether there exists any explanatory system (e.g. for 
> computing minimal conflict sets) that can be associated or integrated within ECLiPSe.
>

Some support is provided for monitoring violated constraints in 
libraries: lib(repair) and the newer lib(tentative). Note that these are
libraries and you need to write your own code (in ECLiPSe) to use them,
and are not `ready-made' tools.

Additionally, if you are using lib(eplex) [which interfaces to external
Mathematical Programming solvers], then in ECLiPSe 6.0, you can obtain 
the Minimal Conflict set for an infeasible problem if this is supported 
by the external solver (e.g. CPLEX).

Cheers,

Kish Shen


> Thank you for your help,
> Matthieu.
> 
> 
> ------------------------------------------
> Matthieu Quéva
> Industrial PhD Student
> Mobile: +45 29 22 94 43
> 
> 
> 
> 
> ------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.