[eclipse-clp-users] Time out issue with long integer

Dear clp users,



   I have the following problem. I am trying to get the value for IN_FORMULA1. Here I need to use indomain_min since I need the minimum value satisfying the equation. I could use indomain_split but it wont ensure the value is minimum. But using indomain_min, it takes infinite time to resolve the equation. Any pointers on this?



:-lib(ic).

solve(IN_FORMULA1):-
%%Domain
IN_FORMULA1 :: [-9223372036854775808 .. 9223372036854775807],

%%Constraints
(IN_FORMULA1 $> 115000000000),

%%Search
search([IN_FORMULA1], 0, input_order, indomain_min, complete, []).



Thanks and Regards,

Shrirang

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