topcom.c: add missing include

[barvinok.git] / tests / iscc / sum6

# A weighted counting test with an equality constraint involving parameters.
r := sum [a=0, b=0:1] -> { [c=0:2] -> c };
assert(r == [a=0, b=0:1] -> { 3 });