Conditional aggregates are still buggy

[Broes De Cat]

In branch conditional_aggs, e.g. the file /media/data/documenten/kuldoctoraat/software/gidl2/tests/mx/simplemx/aggeqtoknownconst.idp fails.

[Bart Bogaerts]

Ik heb het gevoel dat dit een groundingbug is. Zowel de grounding die ik krijg met standaard language

tseitin_4 <=> wsum[ (var_0,1); (var_1,1); (var_2,1); (var_3,1); ] = 0. tseitin_4.

Als die die ik krijg met "ecnf" zijn verkeerd

p ecnf

INTVAR 0 1 1 0

INTVAR 1 1 1 0

INTVAR 2 1 1 0

INTVAR 3 -2 -2 0

CPSUM 5 2 3 4 0 | 0 1 2 3 |1 1 1 1 = 0 0

5 0

Enfin, die met ECNF zou juist kunnen zijn als je: * de overbodige nullen en 1 overbodige weight 1 weglaat, dus CPSUM 5 2 3 4 | 1 2 3 |1 1 1 = 0 0 * En bovendien ook nog eist dat var_3 er zeker in zit, dus 3 0 toevoegt.