Re: [eclipse-clp-users] How to setup and use the Cbc eplex library?

Scholz, Ulrich wrote:
> Hi everybody,
> 
> hopefully, you will not receive several copies of this post.  Sorry, if you
> do.  I have problems posting to the list so I tried several times.
> 
> 
> I just successfully downloaded and compiled the Coin-OR Cbc eplex library.
> 
> Now running a litte test program (attached below) gives errors like
> 
>   WARNING: predicate declared but not defined in lp_get_license_challenge / 1 in module eplex_s
>   WARNING: predicate used but not declared or defined in cplex_set_cpcstr_cond / 4 in module eplex_s
>   WARNING: predicate used but not declared or defined in cplex_get_cpcstr_info / 4 in module eplex_s
> 
> It seems that I have to tell ECLiPSe about the solver.  How?
> 
> I'm sure that it is written somewhere but I must be blind.  Please point me
> to it.
> 
> Thanks,
> 
> Ulrich
> 
> 
> :- lib(eplex_osi_clpcbc).
> 
>    lp_example(Cost) :-
>      my_instance: eplex_solver_setup(min(X)),
>      my_instance: (X+Y $>= 3),
>      my_instance: (X-Y $= 0),
>      my_instance: eplex_solve(Cost).
> 
> 
> ?- lp_example(C).
> 
> 
> 
> --
> Ulrich Scholz            
> 
> Phone: +49-6221-533244
> Email: ulrich.scholz_at_eml-d.villa-bosch.de
> 
> --
> 
> European Media Laboratory GmbH
> Schloss-Wolfsbrunnenweg 33
> 69118 Heidelberg
> 
> Amtsgericht Mannheim / HRB 335719
> Managing Partner: Dr. h.c. Klaus Tschira, Scientific and Managing
> Director: Prof. Dr.-Ing. Andreas Reuter
> 
> www.eml-d.villa-bosch.de
>    
> 
> 
> 
> 
> ------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------
> 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
Hi Ulrich,

I am not quite sure what you mean by `downloaded and compiled' the 
CLPCBC library -- can you give more details on what you did? Did you 
download the binary package (in which case I am not sure what you mean 
by compile), or did you download the ECLiPSe source, and the COIN-OR CBC 
source, and compiled those?

In any case, you don't seem to have set up things correctly. The problem 
seem to be that your ECLiPSe is not able to find the C code for the CBC 
solver. If you downloaded the binary package correctly, the C code (the 
dynamic library, with .so extension for Linux and most other Unix) 
should be placed in the right place (<ECLiPSe>/lib/<ARCH>/) for ECLiPSe 
to find it.

Cheers,

Kish

-- 
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.