Cardinality syntax

[Bart Bogaerts]

maybe we should also allow the syntax

card { x[a] : P(x) : 1}

instead of only

card { x[a] : P(x) }

[Broes De Cat]

I think this would be counter-intuitive, as cardinality is about the number of elements, not about a function over terms.

[Bart Bogaerts]

But on the other hand, both sum and card are functions from sets to integers (doubles), hence they should be compatible.