Wrong output for minimal cover

[hernpiblo]

Input used in screenshot: {A,C}->{A,D}, {C,D}->{B}, {C}->{B,D}

Minimal cover output: {{A,C}→{D},{C}→{B},{C}→{D}}

The first Functional Dependency is redundant and should not be included in the output

[arjo129]

Hey @hernpiblo thanks for spotting this, I'll take a look this weekend.