[eclipse-clp-users] library not found in use_module(library(ic_prop_test_util))

Dear CLP users,



  I get the following error while using library ic_prop_test_util.



library not found in use_module(library(ic_prop_test_util))





The library works well when I use it on TKEclipse version but on integration with java, I get the above error at line

:- lib(ic_prop_test_util). I wish to use the random_int_number from the library.





Thanks and Regards,

Shrirang Edgaonkar

______________________________________________________________________
Disclaimer: This email and any attachments are sent in strictest confidence
for the sole use of the addressee and may contain legally privileged,
confidential, and proprietary data. If you are not the intended recipient,
please advise the sender by replying promptly to this email and then delete
and destroy this email and any attachments without any further use, copying
or forwarding.