Querying with BDDs

[Broes De Cat]

The attached file segfaults. Possible reason is the set being empty in the given structure, but eliminating any of the quantified variables results in solutions.

[Bart Bogaerts]

Probably related to https://bitbucket.org/krr/idp/issue/516/querying-with-nested-aggregates-is

[Broes De Cat]

Fixes #516, fixes #722: debruiyn index management was incorrect for aggregate kernels.

→ <<cset 1f86cba70b7a>>

[Broes De Cat]

Fixes #516, fixes #722: debruiyn index management was incorrect for aggregate kernels.

→ <<cset 041237a715df>>

[Broes De Cat]

Merged in fix_query_with_aggregates (pull request #235)

Fixes #516, fixes #722, fixes #702: debruiyn index management was incorrect for aggregate kernels.

→ <<cset 99b63fee9b1e>>