Re: [Potassco-users] ERROR: cannot convert #supremum to integer with clingo 3.0.3

[Roland K. <kam...@cs...>]

On Sunday, January 27, 2013 05:54:39 PM Xudong Liu wrote:
> Hello,
> 
> I have an error with my ASP program that I cannot resolve.  The error is:
> 
> ERROR: cannot convert #supremum to integer in:
> 	rules.lp:52:12: T+C
> 
> The line it refers to is:
> 
> tScore(A,  T + C) :- cScore(A, C), times(A, T).
> 
> I am trying to do an easy addition arithmetic operation that computes the
> sum of T and C for all A.  When I changed the addition to just T or C, the
> solver acted perfectly.  But not for any arithmetic operation between T and
> C, and I had the same error as here.  I googled but there is no solutions. 
> Hope someone would help me out of it.  Thank you.


Hard to tell with only one line of the program. Just a guess: have you used 
#min-aggregates and did not exclude empty case?

Regards, Roland