minimization over max aggregate behaves strangely

[JoD]

Van Maurice:

Marc, Mirek Truczinski en ik zijn bezig met een korte IDP intro voor een AI magazine special issue over ASP.

Voortbordurend op een vb van Mirek voegde ik wat code toe die een aggregaat gebruikt en dan een term definieert om een optimalisatie te doen: term t:V{max{d[day]:true:nmbr_mtng(d)}}

en krijg time overflow bij minimize. Als ik echter n=max{d[day]:true:nmbr_mtng(d)}. schrijf en term t:V{max{:true:n}}

werkt alles zoals het moet Deed ik iets fout, of is het IDP3?

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=8dd1aa1da033c7a653c4

[JoD]

Not an issue with cp support default activated.