Re: [eclipse-clp-users] Goal failed unexpectedly

From: Joachim Schimpf <joachim.schimpf_at_monash.edu>
Date: Mon, 06 Sep 2010 09:18:59 +1000
Jacky wrote:
> Hello,
> 
>         Sorry to disturb again. When I tried to compile the two largest
> examples, I got the following error. 
> 
>         "Goal failed unexpectedly: current_content(hash(256, 55, [a(160)
> -> 67,
> a(163) -> 70, a(165) -> 423, a(166) -> 73, a(167) -> 74, a(170) -> 434,
> a(172) -> 438, a(175) -> 447, a(176) -> 83, a(179) -> 466, a(182) ->
> 481, a(183) -> 487, a(184) -> 495, a(185) -> 499, a(186) -> 503, a(...)
> -> 511, ... -> ..., ...]), a(4), _901277)"
> 
>         Is this because the programs exceeded the limit that eclipse can
> handle? Anyone knows how to solve the problem? Thanks.

The compiler currently has a limit on the number of temporary variables
in clauses.  But you can normally reformulate your code to make it work.

Usually this happens when you generate the source code automatically,
and then compile it.  It is much easier and more efficient not to generate
code, but to have Eclipse code that accepts problem data and sets up
the constraints directly.

See the hints in
http://sourceforge.net/mailarchive/message.php?msg_id=4B42DDF7.8010002%40infotech.monash.edu.au
or send me your code so i can recommend something.


-- Joachim
Received on Sun Sep 05 2010 - 23:41:46 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET