Library to compute aggregates uzing ZDD, non canonicalizing map for better concurrency.